"Aut" is the term applied in propositional calculus to the XOR connective. "Aut" is Latin form for "either/or (but not both), " e.g., "Aut Caesar aut nihil" (Cesare Borgia; 1476-1507). The symbol Aut is also commonly used for the completely different purpose of denoting an automorphism.
We guarantee you’ll find the right tutor, or we’ll cover the first hour of your lesson.