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
Объяснение:
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