Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for David A. Wheeler
Simplify propositional expressions
Next ⟩
Natural deduction
Metamath Proof Explorer
Unicode
Structured
Table of Contents - 20.45.1. Simplify propositional expressions
These make it easier to manipulate some propositional expressions