Дано изображение трех пересекающихся окружностей:
На изображении выделены восемь непересекающихся пронумерованных областей (область, пронумерованная нулем, означает точки, не принадлежащие ни одной из окружностей).
Для этого изображения сформулированы три логических высказывания:
A = {точка находится внутри красной окружности}
B = {точка находится внутри зеленой окружности}
C = {точка находится внутри синей окружности}
Известно, что некоторое логическое выражение, содержащее одно или несколько перечисленных логических высказываний и одну или несколько логических операций из набора {инверсия, конъюнкция, дизъюнкция}, принимает истинное значение только для точек, находящихся в областях с номерами 2, 4, 5, 6, 7. Определите это логическое выражение и запишите в ответ максимально упрощенную формулу для него. Запись может содержать скобки. Будем считать формулу максимально упрощенной, если не существует эквивалентной ей формулы, содержащей меньшее количество логических операций.
Комментарий по вводу ответа: операнды вводятся большими латинскими буквами; логические операции обозначаются, соответственно как not, and и or.
Скобки используются только для изменения порядка выполнения операций. Если порядок выполнения операций очевиден из их приоритетов – дополнительное использование скобок считается ошибкой.
Пример записи ответа: (A or not B) and C