任意两个不同小项的合取为，全体小项的析取式为________。
永假式(矛盾式) 、永真式(重言式)
暂无解析
命题公式(A∧(A→B))→B是一个矛盾式。
求命题公式p∧q∨r的主合取范式与主析取范式。
根树中最长路径的端点都是叶子。
使命题公式P→(Q∨R)的真值为F的真值指派的P、Q、R值分别是T、F、F。
