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 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
Get step-by-step solutions from verified subject matter experts
