Дана диаграмма Венна для четырех множеств: 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