问答题 求以下公式的主合取范式，并求成假赋值： （p→（p∨q））∨r

问答题 给定简单带权有向图，如图所示，求结点v1到其他各结点的最短链。

问答题 q∧(p→q)→p