a | b | c | d | Output |
---|---|---|---|---|
0 | 0 | 0 | 0 | 1 |
0 | 0 | 0 | 1 | 0 |
0 | 0 | 1 | 0 | 1 |
0 | 0 | 1 | 1 | 1 |
0 | 1 | 0 | 0 | 1 |
0 | 1 | 0 | 1 | 1 |
0 | 1 | 1 | 0 | 0 |
0 | 1 | 1 | 1 | 1 |
1 | 0 | 0 | 0 | 1 |
1 | 0 | 0 | 1 | 1 |
1 | 0 | 1 | 0 | 1 |
1 | 0 | 1 | 1 | 0 |
1 | 1 | 0 | 0 | 0 |
1 | 1 | 0 | 1 | 1 |
1 | 1 | 1 | 0 | 1 |
1 | 1 | 1 | 1 | 1 |
複数の最簡形が存在します
最簡形 (with ~) =
~b~d + abc + a~cd + ~acd + ~ab~c
bd + ac~d + a~b~c + ~a~bc + ~a~c~d
最簡形 (with overline) =
bd + abc + acd + acd + abc
bd + acd + abc + abc + acd
cd | cd | cd | cd | |
---|---|---|---|---|
ab | 1 | 0 | 1 | 1 |
ab | 1 | 1 | 1 | 0 |
ab | 0 | 1 | 1 | 1 |
ab | 1 | 1 | 0 | 1 |