Question

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


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

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

Answer 1

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