Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Anthony Hart
Propositional Calculus
w3nand
Next ⟩
df-3nand
Metamath Proof Explorer
Unicode
Structured
Syntax definition
w3nand
Description:
The double nand.
Ref
Expression
Assertion
w3nand
wff ( ph -/\ ps -/\ ch )