问答题
用等值演算法判断推理是否正确：若今天不下雨，我就不去图书馆，今天下雨，所有，我去图书馆。
问答题用等值演算法判断推理是否正确：若今天不下雨，我就不去图书馆，今天下雨，所有，我去图书馆。
用等值演算法求公式的主析取范式或主合取范式：（（p∨q）∨（p→q））（q→p）的主析取范式再由主析取范式求出...
问答题用等值演算法求公式的主析取范式或主合取范式：（（p∨q）∨（p→q））↔（q→p）的主析取范式再由主析取范式求出主合取范式。
用等值演算法求公式的主析取范式或主合取范式：￢（￢（p→q））∨（￢q→￢p）的主合取范式。
问答题用等值演算法求公式的主析取范式或主合取范式：￢（￢（p→q））∨（￢q→￢p）的主合取范式。
