functional-programming - 論理演算子 and/or はどのように機能しますか?

Question

andandor演算子が Lisp でどのように機能するか説明してもらえますか?

関数があり、4 つの引数から関数の条件式の構成を書きたいとしましょう。

and4 (x1 x2 x3 x4)

と

or4 (x1 x2 x3 x4)

and関数と一致しor、4つの引数から、誰かがそれらを関連付ける方法を説明したり、以下のようなものを考え出すことができます:

and4(1,1,1,1) => 1
and4(1,0,1,1) => 0
or4(1,1,1,1) => 1
or4(0,0,1,0) => 1

andandor演算子を理解する方法の簡単な説明、または例に興味があります。

Answer 1

さて、あなたは簡単に始めなければなりません。

数値 1 が真であり、0 が偽であると仮定します。

これは、論理 AND 演算子 (多くのプログラミング言語では && とも呼ばれます) の真理値表です。

a | b | a AND b
0 | 0 |    0
0 | 1 |    0
1 | 0 |    0
1 | 1 |    1

したがって、a が true かつ b が true の場合、a && b は true です。

OR 演算子の動作は少し異なります。論理 OR 演算子 (多くのプログラミング言語では || とも呼ばれます) の真理値表を次に示します。

a | b | a OR b
0 | 0 |   0
0 | 1 |   1
1 | 0 |   1
1 | 1 |   1

したがって、a が true OR b が true の場合、a OR b は true です。

上記のステートメントは、同様の方法で機能します。

AND4 (x1 x2 x3 x4)

上記は、すべての変数が true の場合にのみ 1 (true) を返します。

OR4 (x1 x2 x3 x4) 

少なくとも 1 つの変数が true の場合、上記は 1 (true) を返します。