Database
CLASSICAL FIRST-ORDER LOGIC WITH EQUALITY
Propositional calculus
Logical "xor"
Next ⟩
wxo
Metamath Proof Explorer
Ascii
Unicode
Table of Contents - 1.2.13. Logical "xor"
wxo
df-xor
xnor
xorcom
xorcomOLD
xorass
excxor
xor2
xoror
xornan
xornan2
xorneg2
xorneg1
xorneg
xorbi12i
xorbi12iOLD
xorbi12d
anxordi
xorexmid