Xor

boolean

xorCommutativity

BooleanInferenceRules0

xorPredicate

BooleanPredicates