Kruskal算法的实现

利用Kruskal算法，用C语言编写出给定无向连通加权图G，构造一棵最小生成树的程序。

输出多个命题公式的合取式真值表

给出任意变元的合式公式，构造该合式公式的真值表