[開設 07/27/23=MM/DD/YY]
「分配律と分配束」の問の答え
N
5
が分配束でないことを示す．
b
∨ (
a
∧
c
) =
b
∨
O
=
b
． (
b
∨
a
) ∧ (
b
∨
c
) =
a
∧
I
=
a
．
（または
a
∧ (
b
∨
c
) =
a
∧
I
=
a
． (
a
∧
b
) ∨ (
a
∧
c
) =
b
∨
O
=
b
．）
よって
N
5
は分配束ではない． （なお，他の式では等号が成立する．）
「分配律と分配束」問
離散構造（室伏）のホーム
