【离散数学】命题公式的类型分为哪几类呀?是不是可满足式,矛盾式什么的?

【离散数学】命题公式的类型分为哪几类呀?是不是可满足式,矛盾式什么的? 离散数学,等值演算法判断命题公式的类型8、9两个小题,死活不知道怎么化了,求大神帮忙 封闭的公式在任何解释下都变成命题 （高离散数学） 离散数学2个命题变元为什么可以构造2的4次方个不等价的命题公式 离散数学怎么用数学归纳法证明“含n个命题变元的命题公式,共有2n个指派.” 离散数学用等值演算法判断下列公式的类型.求大神指导这题怎么做 命题公式可以有等号吗（离散数学） 离散数学中：如果小王来,则小李去,翻译成命题公式 离散数学中的等价公式的一个简单的疑问离散数学的命题逻辑这一章中,有等价公式,常用命题的等价公式大约有12个,其中有个排中律,“排中”这个名词是怎么来的?其实就是永真式吗? 离散数学-用等值演算法求下列命题公式的主析取范式,并由此指出该公式的类型（1）﹃（p→q）∧ q （2）（（p→q）∧ p）→q （3）（p→q）∧ q 以上是计算题,如果有数学专家或者老师麻烦解 双绞线的类型分为?、 离散数学的基本公式都有哪些 什么是离散数学逻辑里面的原子命题请通俗一点 离散数学中P->(Q->R)是命题公式吗中P->(Q->R)是命题公式吗 离散数学问题,1、求命题公式(P∨Q)→(R∨Q) 的主析取范式、主合取范式 有谁知道怎么求的?望赐教 如何将逻辑电路用离散数学表达这里的逻辑电路图是怎么转换为命题公式的?根据什么规则或原理? [离散数学]推导如下命题公式是等价的.1.(P^Q)→(~Pv(~PvQ))~PvQ2.(P→Q)^(R→Q)PvR→Q 为什么P→Q不是公式呢?（离散数学中的命题）如题