填空题
设A={a，b}，B={0，1，2}，那么可定义（）种不同的从A 到B 的单射。
6
填空题 已知公式A（p ，q ，r）的主合取范式为M 0∧M 3∧M 5，它的主析取范式为（写成编码形式）（）。
填空题 ¬Q，P →Q，P∨R 的有效结论是（）。
填空题 公式¬（P∨Q）↔（P∧Q ）的主合取范式为（）。
