问答题
给定简单带权有向图，如图所示，求结点v1到其他各结点的最短链。
问答题 q∧(p→q)→p
问答题 求130与450的最大公因子，并将它表示成130和450的线性组合，即求x和y使得ged（130，450）=130x+450y。
问答题 求以下公式的主合取范式，并求成假赋值： （p∧q）∨（-p∨r）
