當前位置:編程學習大全網 - 電腦編程 - 如何用C語言判斷離散數學中是不是等價關系

如何用C語言判斷離散數學中是不是等價關系

主析取範式是由極小項之和構成的,命題公式化簡出來的主析取範式中包含的極小項,其下標對應的指派得到的命題公式的真值應該為1。主合取範式由極大項之積構成,命題公式等價的主合取範式中包含的極大項,其對應下標應該是使對應的指派得到命題公式的真值為0.所以,假設有三個命題変元,極小項和極大項的下標分別是0--7,如果壹個命題変元的主析取範式表示為m1或m3或m5,它的主合取範式應該是M0且M2且M4且M6且M7.也就是說下標是極小項下標集合的補集。

  • 上一篇:測試設備電源廠家有哪些
  • 下一篇:c語言編程題求幫忙!!
  • copyright 2024編程學習大全網