Используя равносильные преобразования, упростите выражение: (X V Y) → (¬X → Z)

0 голосов
38 просмотров

Используя равносильные преобразования, упростите выражение:
(X V Y) → (¬X → Z)


Математика (12 баллов) | 38 просмотров
Дан 1 ответ
0 голосов

(X V Y) → (¬X → Z) = ¬(X V Y) ∨ (¬(¬X) ∨ Z) = (¬X ∧ ¬Y) ∨ (X ∨ Z) = ((¬X ∧ ¬Y) ∨ X) ∨ Z = ((¬X ∨ X) ∧ (¬Y ∨ X)) ∨ Z = (1 ∧ (¬Y ∨ X)) ∨ Z = 
(¬Y ∨ X) ∨ Z = ¬Y ∨ X ∨ Z 

(93.5k баллов)