• Support PF! Buy your school textbooks, materials and every day products Here!

DISCRETE MATH: Which of these compound propositions is satisfiable? No use truthtable

  • Thread starter VinnyCee
  • Start date
489
0
1. 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]


2. 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.


3. 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?
 

Answers and Replies

489
0
I figured it out!

It was simple.

The equation is satifiable.

Set p = TRUE and q = FALSE. Since it is all OR logical connectives, it was simple to find these values which make the statement true.
 
matt grime
Science Advisor
Homework Helper
9,394
3
I really hope you didn't just try things at random. Just use those laws above. It is quite straight forward.
 
Re: DISCRETE MATH: Which of these compound propositions is satisfiable? No use trutht

can you "VinnyCee" answer this with some explanations

*Is this compound statment is satisfiable/why?


(b) (¬p ∨ ¬q ∨ r) ∧ (¬p ∨ q ∨ ¬s) ∧ (p ∨ ¬q ∨ ¬s) ∧
(¬p ∨ ¬r∨ ¬s)∧ (p ∨ q ∨ ¬r)(¬p ∨ ¬r∨ s)
 

Related Threads for: DISCRETE MATH: Which of these compound propositions is satisfiable? No use truthtable

Replies
11
Views
8K
  • Last Post
Replies
2
Views
761
Replies
0
Views
12K
Replies
3
Views
20K
Replies
3
Views
1K
Replies
1
Views
7K
Replies
6
Views
9K
Top