Current Slide

Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.

ปฏิเสธแบบปกติ - ตัวอย่าง

เปลี่ยนแนวคิด

\[\neg (\neg (A \sqcup \neg B) \sqcap \neg C))\]

ถึงแนวคิดเทียบเท่าในรูปแบบปกติปฏิเสธ:

\[ \begin{aligned} &NNF(\neg (\neg (A \sqcup \neg B) \sqcap \neg C))\\ &= NNF(\neg \neg (A \sqcup \neg B)) \sqcup NNF(\neg \neg C)\\ &= NNF(A \sqcup \neg B) \sqcup NNF(C)\\ &= NNF(A \sqcup \neg B) \sqcup C\\ &= NNF(A) \sqcup NNF(\neg B) \sqcup C\\ &= A \sqcup \neg B \sqcup C\\ \end{aligned} \]


Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.