求命题公式p∧q∨r的主合取范式与主析取范式。
暂无解析
与命题公式P→(Q→R)等价的公式是()
命题公式(A∧(A→B))→B是一个矛盾式。
设T为根树,若________,则称T为m元树;若________则称T为完全m叉树。
任意两个不同小项的合取为,全体小项的析取式为________。
函数的复合运算“。”满足结合律。