Надо решить номера: методами резолюции,редукции и методом равносильных преоброзований,методом квайна.
доказать ,что формула явдяется логическим средством заданной системы (доказать что выводится):
1 номер методом равносильных преоброзований
2 номер методом резолюции
3 номер методом редукции
5 номер методом резолюции.
Доказать, что формула является истиной или высказывание истинно всегда:
4 номер методом квайна