求命题公式的主析取范式
输入：公式G
输出：主析取范式（1）一般形式即公式形式（2）最小项形式


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


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


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