- #1
VinnyCee
- 489
- 0
Homework Statement
Is this compound statement satisfiable?
[tex](p\,\vee\,q\,\vee\,\neg\,r)\,\wedge\,(p\,\vee\,\neg\,q\,\vee\,\neg\,s)\,\wedge\,(p\,\vee\,\neg\,r\,\vee\,\neg\,s)\,\wedge\,(\neg\,p\,\vee\,\neg\,q\,\vee\,\neg\,s)\,\wedge\,(p\,\vee\,q\,\vee\,\neg\,s)[/tex]
Homework Equations
I guess you are supposed to use the following instead of truth tables somehow:
Logical equivalences - Domination, Idempotent, Double negation, Commutative, De Morgan's, Absorption, Negation, Associate, Distributive.
The Attempt at a Solution
I "converted" the first term in the expression:
[tex](p\,\vee\,q\,\vee\,\neg\,r)\,\equiv\,\left[(\neg\,p\,\longrightarrow\,q)\,\vee\,\neg\,r\right][/tex]
Now what do I do though?