выполнимая
Объяснение:
p → q → p
(p → q) → p
(¬p ∨ q) → p
¬(¬p ∨ q) ∨ p
(p ∧ ¬q) ∨ p
p ∧ (1 ∨ ¬q)
p ∧ 1
p
выполнимая
Объяснение:
p → q → p
(p → q) → p
(¬p ∨ q) → p
¬(¬p ∨ q) ∨ p
(p ∧ ¬q) ∨ p
p ∧ (1 ∨ ¬q)
p ∧ 1
p