Дано следующее логическое тождество:
((𝐹(𝐴, 𝐵, 𝐶) → 𝐴⋀𝐹(𝐴, 𝐵, 𝐶)) → 𝐵⋀𝐹(𝐴, 𝐵, 𝐶)) → 𝐶⋀𝐹(𝐴, 𝐵, 𝐶) = истина
Найдите такую логическую функцию трех переменных F(A,B,C), для которой это тождество будет выполняться. Если таких логических функций несколько, выберите ту из них, в таблице истинности которой будет минимальное количество ложных значений. В ответе укажите логическую формулу, которая может содержать логические переменные A, B, C и не более чем три логические операции из набора {инверсия, конъюнкция, дизъюнкция}. Если таких функций нет, запишите в ответ NULL.
Комментарий по вводу ответа: операнды вводятся большими латинскими буквами; логические операции обозначаются, соответственно как not, and и or. Запись не должна содержать скобок. Пример записи ответа: A or not B