Пусть x - истинно, y - ложно, z - истинно. Определите истинно или ложно высказывание:


(X V Y) -> (Z V X)

над X и Y: -
над Z: =

(x+¬y)→(x+z)Преобразовываем импликацию, получаем:¬(x+¬y)+(x+z)Раскрываем Де-Моргана, получаем:¬x*y+x+z¬x+x=1Остальные переменные тоже истины, следовательно, все выражение истинно.