Question: f = (PVQ) (P^-Q) (a) Draw the truth table for f. (b) write a DNF proposition that is equivalent to f. (c) Negate your DNF

 f = (PVQ) (P^-Q) (a) Draw the truth table for f.

(b) write a DNF proposition that is equivalent to f. (c) Negate

f = (PVQ) (P^-Q) (a) Draw the truth table for f. (b) write a DNF proposition that is equivalent to f. (c) Negate your DNF formula from the previous part (So the formula is now equiv- alent to f = f) and use De Morgan's laws to turn the formula into CNF. You might want to spend some time thinking about how De Morgan's laws can be applied to a proposition like -(PVQ V R) where there is a negation of a chain of v (or ^) operations. (d) Briefly explain why the previous parts will always result in a CNF formula regardless of which f we start with. f = (PVQ) (P^-Q) (a) Draw the truth table for f. (b) write a DNF proposition that is equivalent to f. (c) Negate your DNF formula from the previous part (So the formula is now equiv- alent to f = f) and use De Morgan's laws to turn the formula into CNF. You might want to spend some time thinking about how De Morgan's laws can be applied to a proposition like -(PVQ V R) where there is a negation of a chain of v (or ^) operations. (d) Briefly explain why the previous parts will always result in a CNF formula regardless of which f we start with

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer
Step: 1 Unlock blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related Databases Questions!