Первая сразу нахуй количество 0 и 1 разное.

У второй сравниваем тоже нахуй.

Третья подходит, по всем параметрам, расписывать лень.

Можно проверить, если перевернуть значение функции и добавить НЕ к каждому из них. Если исходный и получившийся набор совпадают, то подходит (это буквально и есть алгоритм)

16. Выводимость: определение. Проверить выводимость для набора высказываний из билета.

Пусть задано множество формул от высказывательных переменных

(1)

​ Выводимость - Формула называется выводимой из системы формул (1), тогда и только тогда, когда формула:

​Если конъюнкция формул (1) тождественно истинна, то из такой системы выводимы только тождественно истинные формулы, которые выводимы из любой системы. Если же конъюнкция

тождественно ложна, то из системы формул (1) выводима любая формула.

​Теорема: формула выводима из системы формул (1), когда все полные элементарные дизъюнкции формулы входят в СКНФ .