A -----+---\\------\
       |    >> XOR1 >-+--\\------\
B --+--|---//------/  |   >> XOR2 >-- S
    |  |          +---|--//------/
    |  |          |   |
C --|--|--------+ |   +--|-----)
    |  |        | |      | AND1 )--\\------\
    |  |        +-+------|-----)    >> XOR3 >-- C
    |  |                      +----//------/
    |  +-- |-----)            |
    |      | AND2 )-----------+
    +------|-----)

