PyQdeck LogoPyQdeckSubjects
Back to the 2019 paper

Module 3: Propositional Logic & Proof Techniques.

201914m

Obtain the principal disjunctive normal form (PDNF) and principal conjunctive normal form (PCNF) of the statement
(p → (q ∧ r)) ∧ (¬p → (¬q ∧ ¬r)).

Search GoogleAsk AI

Similar questions

Discrete Mathematics(a) Show that p \lor (q \land r) and (p \lor q) \land (p \lor r) are logically equivalent. This is the distributive law of disjunction over conjunction.20225mDiscrete MathematicsUsing truth table, show that- (i) ((p → (q → r)) → ((p → q) → (p → r))) is a tautology; (ii) ¬(q → r) ∧ r ∧ (p → q) is a contradiction.201914mDiscrete MathematicsThe statement p → q is logically equivalent to (i) p ∨ q (ii) p ∨ ~q (iii) ~p ∨ q (iv) ~p → q20192mDatabase Management SystemExplain different normal forms up to BCNF with examples.20257m
PreviousUsing truth table, show that- (i) ((p → (q → r)) → ((p → q) → (p → r))) is a tautology; (ii) ¬(q → r) ∧ r ∧ (p → q) is a contradiction.NextFor any sets A and B, prove that (i) (A ∪ B)' = A' ∩ B' (ii) (A ∩ B)' = A' ∪ B'