A logic operator having the property that if P is a binary digit and Q is a binary digit and either P or Q is 1, but not both, then P exclusive-OR Q is 1.