Математическая логика. Логика высказываний. Доказание клауз

[Гость]

Необходимо доказать клаузы:
- методом резолюций;
- методом "секвенций";
- при несовпадении результатов построить таблицу истинности.

Клаузы:

Screenshot_1.png (4.53 КБ) Просмотров: 4498

Пожалуйста, объясните как надо решать такие задачи. Как можно подробнее, заранее огромное спасибо.