論理をCNFからDNFに変換し、逆に論理を変換しますか？

Question

私は離散数学のクラスに入っており、助けが必要です。これは今まで私が持っているものです：

~ = not 
| = or 
& = and 

So convert (X|Y) & (Z|~P) to DNF 
-I got (X&Y) | (Z&~P) 
Convert (X&Y) | (Z&P) to CNF   
-I got (X|Z) & (Y|Z) & (X|P) & (Y|P) 

これらは正しいですか？

Answer 1

いいえ、申し訳ありません。 xとyの両方が真である必要はないので、あなたのDNFは正しくありません。あなたはDNF（（x || y）& &（Z ||〜P）でWolfram Alphaでこれを確認できます。これはorsによって接続された4つの方法をすべて教えてくれます。 （したがってxとz、xではなく、p、yとz、yでpではなく）。 CNFの場合、あなたはPを持っているPを必要としません。また、WolframAlpha cNF（（x || y）& &（Z ||〜P））に問い合わせると、基本的にCNFであることがわかります。 Wolfram alphaもこれらの用語を定義しています。