任意两个不同小项的合取为,全体小项的析取式为________。
永假式(矛盾式) 、永真式(重言式)
暂无解析
使命题公式P→(Q∨R)的真值为F的真值指派的P、Q、R值分别是T、F、F。
图G为(n,m)图,G的生成树TG必有n个结点。
当n为________时,非平凡无向完全图Kn是欧拉图。
数集合上的不等关系(≠)可确定A的一个划分。
与命题公式P→(Q→R)等价的公式是()