Report - Logic as a Tool 3mm Chapter 4: Deductive Reasoning in ......October 2016. Goranko Revision: CNF and DNF of propositional formulae Aliteralis a propositional variable or its negation.

Please pass captcha verification before submit form