xor

Bool DualBool GenBool GenBoolFunctions Heyting HeytingGenBoolOverlap