Question

33 Балла
Упростите логическую формулу
z=(P⇔Q)⇒(¬P⇒Q)

Answer 1

Ответ:

Z = P ∨ Q

Объяснение:

Z = (P ↔ Q) → (¬P → Q)

Z = (P ↔ Q) → (P ∨ Q)

Z = ¬(P ↔ Q) ∨ (P ∨ Q)

Z = (¬P ∧ Q) ∨ (P ∧ ¬Q) ∨ P ∨ Q

Z = (P ∧ (¬Q ∨ 1)) ∨ (Q ∧ (¬P ∨ 1))

Z = P ∨ Q