Propositional Calculus

Type	Formal system
Applications	Automated theorem proving • Designing logic circuits
Main components	NAND gates • NOR gates
Universal connectives	NAND • NOR
Alternative boolean expressions	Formulations from primitives known as propositions