論理演算
論理演算(logical operation)
論理演算の歴史にまで突っ込むと書くのが大変だけど気が向いたら書く
だいたい以下のものがある
否定論理積(NAND)
否定論理和(NOR)
否定自体は(negation、inversion)と分野ごとに使われている英語が違う
論理演算の推論規則は頑張って埋める。
推論規則
べき等則
交換則
結合則
分配則
吸収則
ド・モルガンの法則
その他
Wikipediaの論理演算の記事は二重否定と排中律の定義されている古典論理に絞って書かれてある。 確認用
Q. 論理演算
調査用
/pogi-log/Wikipedia.icon
/pogi-log/Wikipedia.icon