Определите истинность выражения (X \/¬Y) → (¬X → Y)

Question

Определите истинность выражения (X \/¬Y) → (¬X → Y)

Answer 1

F=(x*¬y)→(¬x→y)
F=¬(x*¬y) +(x+y)
F=¬x+y+x+y                                (¬x+x=1;     1+y=1;  y+y=y)
F=1

Comments

\/ а это разве не +?

---

Да, +. F=(x+-y) -->(-x-->y); F=-(x+-y)+x+y; F= -x*y+x+y; F=y(-x+1)+x; F=x+y; F=1, если (x=1 и y=1) или (х=0 и у=1), или (х=1 и у=0)

---

Спасибо)