Propositional Equivalences -- Disjunctive Normal Form and Conjunctive Normal Form