Решить задачи:
1. Равносильными преобразованиями построить для формулы F(x,y,z) КНФ, ДНФ, СКНФ, СДНФ, полином Жегалкина.
F(x,y,z) =x↓(y→z)
2. Проверить истинность соотношений.
y→x∨z, z→x∨y, x→y ╞ x∨y∨z
3. Проверить систему J на полноту.
J= { x∨y, ¬ x ↔ y }
4. Методом резолюций проверить соотношение.
F→(F→(H→G)) ├ F→(H→G)