
$B%K%e!<%i%k%M%C%H%o!<%/(B

OR $B%K%e!<%i%k%M%C%H%o!<%/(B
P or Q = not ( (not P) and (not Q) )

        P --> not ---+
                     |
                    and --> not --> P xor Q
                     |
        Q --> not ---+

XOR $B%K%e!<%i%k%M%C%H%o!<%/(B
P xor Q = (P and (not Q)) or ((not P) and Q)

