Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Anthony Hart
Propositional Calculus
w3nand
Next ⟩
df-3nand
Metamath Proof Explorer
Ascii
Structured
Syntax definition
w3nand
Description:
The double nand.
Ref
Expression
Assertion
w3nand
wff
(
𝜑
⊼
𝜓
⊼
𝜒
)