任意两个不同小项的合取为,全体小项的析取式为________。
永假式(矛盾式) 、永真式(重言式)
暂无解析
命题公式(A∧(A→B))→B是一个矛盾式。
求命题公式p∧q∨r的主合取范式与主析取范式。
试判断(z,≤)是否为格?说明理由。
函数的复合运算“。”满足结合律。