Два набора значений переменных A, B и C называют не эквивалентными, если значение хотя бы одной переменной различается.
Дано логическое выражение. В данном выражении A, B и C — логические переменные, F — функция от этих переменных.
\((((A \to B) \to C) \to ((A \to C) \to B)) \to F\)
Данное логическое выражение истинно при 8 не эквивалентных наборах значений переменных A, B, C, а F — при 7 таких наборах. Определите функцию F, если известно, что функция F содержит все 3 логические переменные и не более чем 3 логические операции. Если таких функций несколько — запишите любую из них.
В ответе запишите формулу, которая содержит логические переменные A, B и C (все 3) и не более чем три логические операции. Если таких функций не существует, запишите в ответ NULL.
Комментарий по вводу ответа: операнды вводятся большими латинскими буквами; логические операции обозначаются, соответственно, как not, and и or. Запись не должна содержать скобок.
Пример записи ответа: A or not B