命題 \(x\) が、真であるなら \(x=1\) とし、偽であるなら \(x=-1\) とします。
命題 \(y\) が、真であるなら \(y=1\) とし、偽であるなら \(y=-1\) とします。

そして、論理演算に次のような関数を当てはめると、簡単にプログラミングすることができます。

否定　\( NOT:\ f(x)\ =\ -1\times x\)
論理積　\( AND:\ f(x,y)\ =\ 1\ \left\{0 < x+y\right\} ,\ \ -1\ \left\{x+y \le 0\right\} \)
論理和　\( OR:\ f(x,y)\ =\ 1\ \left\{0 \le x+y\right\} ,\ \ -1\ \left\{x+y < 0\right\} \)
排他的論理和　\( XOR:\ f(x,y)\ =\ 1\ \left\{x\times y < 0\right\} ,\ \ -1\ \left\{0 < x\times y\right\} \)





プログラムの内容 ：