如何用C语言判断离散数学中是不是等价关系

Question

如题所述

Answer 1

主析取范式是由极小项之和构成的，命题公式化简出来的主析取范式中包含的极小项，其下标对应的指派得到的命题公式的真值应该为1。主合取范式由极大项之积构成，命题公式等价的主合取范式中包含的极大项，其对应下标应该是使对应的指派得到命题公式的真值为0.所以，假设有三个命题変元，极小项和极大项的下标分别是0--7,如果一个命题変元的主析取范式表示为m1或m3或m5，它的主合取范式应该是M0且M2且M4且M6且M7.也就是说下标是极小项下标集合的补集。

Answer 2

我不能3if（我% 3！= 0）这个条件是错误的！= 0 & 5 %，7的任何一个整除的，而不是不可分割的同时在同一时间的357应更改为= 0 & i % 7，此条件意味着，如果