Олимпиадный тренинг

Задача . Красное и синее


Задача

Темы:
Дана диаграмма Венна для четырех множеств: a, b, c и d. 



Определим логические выражения A, B, C, D как утверждения, что точка принадлежит множеству a, b, c или d, соответственно.  Найдите логическую функцию от четырех аргументов F(A, B, C, D) такую, что она эквивалентна утверждению «Если точка принадлежит красной области, то она принадлежит синей области». В ответе укажите логическую формулу в максимально упрощенном виде, которая может содержать логические переменные A, B, C, D и логические операции из набора {инверсия, конъюнкция, дизъюнкция}. Если таких функций нет, запишите в ответ NULL. Комментарий по вводу ответа: операнды вводятся большими латинскими буквами; логические операции обозначаются, соответственно, как not, and и or. Запись не должна содержать скобок. Пример записи ответа: A or not B 

time 1000 ms
memory 256 Mb
Правила оформления программ и список ошибок при автоматической проверке задач

Статистика успешных решений по компиляторам
Комментарий учителя