boolean - ブール代数とド・モルガンの法則

Question

私は関数の補集合を見つけようとしています。それは、X(Y+Z!W+!VS)ド・モルガンの法則を利用することです。

また、結果を製品の合計として表す必要があります。

補足は次のようにすべきだと思います：!X + (Y!(Z+!W)(V!S))しかし、私にはわかりません...

そして、たとえ私がそうだとしても、これをSum OfProductFormに入れる方法がわかりません。

考え？

Answer 1

  ![X(Y+Z!W+!VS)]
= ![XY + XZ!W + X!VS]                                  distributive law
= !(XY)!(XZ!W)!(X!VS)                                  De Morgan's law
= (!X+!Y)(!X+!Z+W)(!X+V+!S)                            De Morgan's law
= (!X!X+!X!Z+!X!W+!Y!X+!Y!Z+!YW)(!X+V+!S)              distributive law
= (!X+!Y!Z+!YW)(!X+V+!S)                               x OR (x AND y) = x
= !X!X+!XV+!X!S+!Y!Z!X+!Y!ZV+!Y!Z!S+!YW!X+!YWV+!YW!S   distributive law
= !X+!Y!ZV+!Y!Z!S+!YWV+!YW!S                           x OR (x AND y) = x

これは、製品の合計形式です。もう少し進んで...

= !X+!Y(!Z+W)(V+!S)                                    distributive law

Answer 2

DeMorgans を実装するには、多くの場合、物事を小さな部分に分割するのが最も簡単です

result=!(XA),    (A= Y+Z!W+!VS) Simplify!
!X + !A                   DeMorgans
A = Y+B      (B= Z!W+!VS) Simplify!
!A = !Y!B                 DeMorgans
B= C+D     (C= Z!W     D= !VS) Simplify!
!B = !C!D                  DeMorgans
!C = !Z+W                 DeMorgans
!D = V+!S                 DeMorgans
!B = (!Z+W)(V+!S)         Put it back together!
!A = !Y(!Z+W)(V+!S)
result = !X+!Y(!Z+W)(V+!S)

それをSum of Productsに入れるには、もう少し代数が必要です。

 !X already ok
 + !Y(!Z+W)(V+!S)             not ok, let's call it !Y!B again.
 !B= (!Z+W)(V+!S)             remember this?
 !B= !ZV+!Z!S+WV+W!S          distribute!
 -> !X + !Y(!ZV+!Z!S+WV+W!S)  put it back together... still not quite right
 !X + !Y!ZV + !Y!Z!S + !YWV + !YW!S    distribute again!

これで積の合計が得られました: !X + !Y!ZV + !Y!Z!S + !YWV + !YW!S