Laws of Algebra of Propositions

Algebra of Propositions:

Propositions satisfy various laws which are listed in below table. these laws are useful to simplify expressions. Note that, except for the Involution law, all the laws of the table come in pairs called Dual pairs. For each expression, one finds the dual by replacing all T by F and all F by T and replacing all ^ by v and all v by ^.

The commutative, associative and distributive laws have their equivalences in standard algebra. The connective v is often treated like +, and the connective ^ is often treated like.

Laws of Algebra of Propositions