nand

DualBool Heyting HeytingFunctions Logic LogicFunctions

negate

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

nor

DualBool Heyting HeytingFunctions Logic LogicFunctions

not

Logic

nxor

DualBool Heyting HeytingFunctions Logic LogicFunctions