试判断(z,≤)是否为格?说明理由。
暂无解析
求命题公式p∧q∨r的主合取范式与主析取范式。
任意两个不同小项的合取为,全体小项的析取式为________。
无向图G有9个结点,每个结点的度数不是5就是6,求证:G中至少有5个6度结点或6个5度结点。
已知一棵无向树T有三个3顶点,一个2度顶点,其余的都是1度顶点,则T中有________个1度顶点。
命题公式(A∧(A→B))→B是一个矛盾式。