求命题公式的主析取范式
输入:公式G
输出:主析取范式(1)一般形式即公式形式(2)最小项形式


求命题公式的真值,分别用以下方法:
(1)真值表达式(2)主析取范式(3)二叉树法
输出:方法(1)和方法二直接给出真值方法三给出树结构


求权图最短路的Dijkstra算法,即点到点集的距离
输入:(1)顶点数。表示权值邻接矩阵(2)上三角矩阵表示的距离,同时对任意对,给出表示最短路的点序列。


求权图的最优树。(分别用Kruskal算法,Prim算法和Sollin算法以及破圈法)
输入:顶点数及权值
输出:(1)根据输入作出相应图形(2)所生成的最优树。