填空题
已知公式A（p ，q ，r）的主合取范式为M 0∧M 3∧M 5，它的主析取范式为（写成编码形式）（）。
m1Ⅴm2Ⅴm4Ⅴm6Ⅴm7
填空题 ¬Q，P →Q，P∨R 的有效结论是（）。
填空题 公式¬（P∨Q）↔（P∧Q ）的主合取范式为（）。
填空题 元素数目不超过（）的格一定是链。
