Nuprl Definition : bxor
p ⊕b q == (p ∧b (¬bq)) ∨b((¬bp) ∧b q)
Definitions occuring in Statement :
bor: p ∨bq,
band: p ∧b q,
bnot: ¬bb
Definitions occuring in definition :
bor: p ∨bq,
band: p ∧b q,
bnot: ¬bb
FDL editor aliases :
bxor
Latex:
p \moplus{}b q == (p \mwedge{}\msubb{} (\mneg{}\msubb{}q)) \mvee{}\msubb{}((\mneg{}\msubb{}p) \mwedge{}\msubb{} q)
Date html generated:
2016_05_13-PM-03_56_05
Last ObjectModification:
2015_09_22-PM-05_45_36
Theory : bool_1
Home
Index