Metamath Proof Explorer

Table of Contents - 20.45.1. Simplify propositional expressions

These make it easier to manipulate some propositional expressions