1) С помощью правил естественного вывода построить вывод пропозициональной формулы в теории K. Правилом замены эквивалентным не пользоваться.
¬(¬(X ? Z) ? Y ) ? (¬X ? ¬Y ? ¬Z)
2)Для заданной пропозициональной формулы построить эквивалентные ей ДНФ и КНФ.
¬(¬x ? ¬(y ? ¬x)) ? (x ? z)
3)Выяснить, к какому классу (общезначимых, выполнимых, опровержимых, противоречий) относится заданная формула.
?x?z (P(x, y) ? P(y, z))