nand
DualBool
Heyting
HeytingFunctions
negate
BigIntAlgebra
ByteAlgebra
DoubleAlgebra
FloatAlgebra
IntAlgebra
LongAlgebra
ShortAlgebra
UnitAlgebra
AdditiveGroup
AdditiveGroupFunctions
BoolRng
nor
DualBool
Heyting
HeytingFunctions
nxor
DualBool
Heyting
HeytingFunctions