2.19. Deriving a Theorem using Boolean Axioms 

Axioms are use to derive theorems so that the theorems can be used to more efficiently assist with the minimising of Boolean expressions.