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

Similar questions

AI LearningWeb Platform

Coursify — Personal AI Course Generator

Struggling with a difficult subject or concept? Turn any engineering topic into a structured course with interactive lessons, quizzes, and research-backed explanations.