12,993
回編集
(→双対論理式) |
(→双対論理式) |
||
29行目: | 29行目: | ||
== 双対論理式 == | == 双対論理式 == | ||
双対論理式は、元の論理式に対して、以下に示す変換を行って得られる式である。<br> | 双対論理式は、元の論理式に対して、以下に示す変換を行って得られる式である。<br> | ||
* 全ての0と1を入れ替える。 | |||
*: <math>0 \rightarrow 1, \, \, 1 \rightarrow 0</math><br> | |||
* 全ての論理和 (+) と 論理積 (・) を入れ替える。 | * 全ての論理和 (+) と 論理積 (・) を入れ替える。 | ||
*: <math>\cdot \rightarrow +, \, \, + \rightarrow \cdot</math><br> | *: <math>\cdot \rightarrow +, \, \, + \rightarrow \cdot</math><br> | ||
* 変数 (A, B, C等) はそのままにする。 | * 変数 (A, B, C等) はそのままにする。 |