nand

DualBool Heyting HeytingFunctions

negate

BigDecimalAlgebra BigIntAlgebra ByteAlgebra DoubleAlgebra FloatAlgebra IntAlgebra LongAlgebra ShortAlgebra UnitAlgebra AdditiveGroup AdditiveGroupFunctions BoolRng

nor

DualBool Heyting HeytingFunctions

nxor

DualBool Heyting HeytingFunctions