a3cf2e0e4113019

http://nhiro.org.s3.amazonaws.com/a/a/aaf7e32d23df26fa6fac61a3164ea8af.jpg https://gyazo.com/aaf7e32d23df26fa6fac61a3164ea8af

(OCR text)

ルールを追加する

20

たとえば新しくx3というルールを追加する

x3 x1 and x2

そうすると

x1 xor x2 = (x1 or x2) and not (x1 and x2)

(x1 or x2) and (not x3)

これは例2と同じになる。