「回路計算 - ブール代数」の版間の差分

ナビゲーションに移動 検索に移動
29行目: 29行目:
== 双対論理式 ==
== 双対論理式 ==
双対論理式は、元の論理式に対して、以下に示す変換を行って得られる式である。<br>
双対論理式は、元の論理式に対して、以下に示す変換を行って得られる式である。<br>
* 全ての0と1を入れ替える。
*: <math>0 \rightarrow 1, \, \, 1 \rightarrow 0</math><br>
* 全ての論理和 (+) と 論理積 (・) を入れ替える。
* 全ての論理和 (+) と 論理積 (・) を入れ替える。
*: <math>0 \rightarrow 1, \, \, 1 \rightarrow 0</math><br>
* 全ての0と1を入れ替える。
*: <math>\cdot \rightarrow +, \, \, + \rightarrow \cdot</math><br>
*: <math>\cdot \rightarrow +, \, \, + \rightarrow \cdot</math><br>
* 変数 (A, B, C等) はそのままにする。
* 変数 (A, B, C等) はそのままにする。

案内メニュー