川大冯伟森老师的实验报告,有三个,1任意合式公式的真值表,2利用Warshall算法求传递闭包,3利用Kruskal算法求最小生成树