TOPICS
Search

Aut


"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.


See also

Automorphism, XOR

Explore with Wolfram|Alpha

References

Oxford University Press. The Oxford Dictionary of Quotations, 3rd ed. Oxford, England: Oxford University Press, p. 89, 1980.

Referenced on Wolfram|Alpha

Aut

Cite this as:

Weisstein, Eric W. "Aut." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/Aut.html

Subject classifications