XOR

logical ``exclusive or''
Major Section:  PROGRAMMING

Xor is the ACL2 exclusive-or function. (xor P Q) means that either P or Q, but not both, is false (i.e., nil).