问答题
把公式（p→q）↔（￢q→￢p）变换为与之等价的、只含取结词↓或↑的公式．
问答题 主析取范式的两个不同析取项可能在同一指派下均为真吗？为什么？主合取范式的两个不同合取项可能在同一指派下均为假吗？为什么？
问答题 求q∧（p∨￢q）公式的析取范式、合取范式及主析取范式、主合取范式，并根据主析（合）取范式直接确定该公式的弄真指派和弄假指派．
问答题 求（￢p∨￢q）→（p￢q）公式的析取范式、合取范式及主析取范式、主合取范式，并根据主析（合）取范式直接确定该公式的弄真指派和弄假指派．
