问答题 用等值演算法判断推理是否正确：若今天不是星期六，明天就不是星期一，明天是星期一，所以，今天是星期六。

问答题 用等值演算法判断推理是否正确：若今天不下雨，我就不去图书馆，今天下雨，所有，我去图书馆。

问答题 用等值演算法求公式的主析取范式或主合取范式：（（p∨q）∨（p→q））（q→p）的主析取范式再由主析取范式求出主合取范式。