Пусть 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
Остальные переменные тоже истины, следовательно, все выражение истинно.