Рет қаралды 458
#discretemathematics #Rosendiscretmaths #education #maths #satisfied
• Exercise # 1.3 Q34 ,Q3...
61. Determine whether each of these compound propositions
is satisfiable.
a) (p ∨ ¬q) ∧ (¬p ∨ q) ∧ (¬p ∨ ¬q)
b) (p → q) ∧ (p → ¬q) ∧ (¬p → q) ∧ (¬p → ¬q)
c) (p ↔ q) ∧ (¬p ↔ q)
62. Determine whether each of these compound propositions
is satisfiable.
a) (p ∨ q ∨ ¬r) ∧ (p ∨ ¬q ∨ ¬s) ∧ (p ∨ ¬r ∨ ¬s) ∧
(¬p ∨ ¬q ∨ ¬s) ∧ (p ∨ q ∨ ¬s)
b) (¬p ∨ ¬q ∨ r) ∧ (¬p ∨ q ∨ ¬s) ∧ (p ∨ ¬q ∨
¬s) ∧ (¬p ∨ ¬r ∨ ¬s) ∧ (p ∨ q ∨ ¬r) ∧ (p ∨
¬r ∨ ¬s)
c) (p ∨ q ∨ r) ∧ (p ∨ ¬q ∨ ¬s) ∧ (q ∨ ¬r ∨ s) ∧
(¬p ∨ r ∨ s) ∧ (¬p ∨ q ∨ ¬s) ∧ (p ∨ ¬q ∨ ¬r) ∧
(¬p ∨ ¬q ∨ s) ∧ (¬p ∨ ¬r ∨ ¬s)