Definition
Formula (Propositional Logic)
A propositional formula is a formula built from atomic propositions using logical connectives such as
, , , and . Propositional formulas are the basic objects of propositional logic.
Normal Forms
Every propositional formula has an equivalent CNF and an equivalent DNF (normal form existence).