========
XOR Gate [TOC]
========

An XOR gate (symbol $\dot{\lor}$) can be represented by the equation

---- LATEX ---------------------------------
A \dot{\lor} B =
    \bigl(B \barwedge (A \barwedge A)\bigr)
    \barwedge
    \bigl(A \barwedge (B \barwedge B)\bigr)
--------------------------------------------

Confirm this with a truth table:

---- IMAGE (width=600) -----------
session02/s02_5.png
----------------------------------

Show with a truth table that also

---- LATEX ---------------------------------
A \dot{\lor} B =
    \bigl((A \barwedge B) \barwedge A\bigr)
    \barwedge
    \bigl((A \barwedge B) \barwedge B \bigr)
--------------------------------------------

holds true:

---- IMAGE (width=600) -----------
session02/s02_6.png
----------------------------------

Tasks
=====
- Implement both expressions for XOR in CircuitVerse.
- Explain to a partner the practical advantage of the second representation.
- Additional Challenge: Try to formally transform the first equation into the
  second equation. You can use to rewrite the logical equation into an
  algebraic equation.