吸収法則
任意の
二項演算
$ \land
$ \lor
について、
$ \land,\lor\text{に吸収法則が成り立つ}:\iff ((P\land Q)\lor P \iff (P\lor Q)\land P\iff P)
吸収律
や
簡約律
と呼ぶこともあるらしい
成り立つ例
古典論理
や
直観論理
における
論理積
と
論理和
で成立するのが有名
同値変形だとうまく証明できない
証明：
(P∧Q)∨P⇔P
(P∨Q)∧P⇔P
確か
最大値
/
最小値
でも成り立った気がする
Reference
吸収法則 - Wikipedia
Absorption law
#2021-11-16
16:26:59
#2021-07-01
16:03:43