## Maths / Logic and Modelling β CNF

January 10, 2010 Leave a comment

This is going to be the first post I’m going to write that is valid for BOTH year 1 and year 2. Just in case you get confused as to who should be reading it π

CNF is short for Conjunctive Normal Form. A formula is in CNF if it is True (T) or False ( _|_ ) or a conjunction of disjunctions: