利用等值演算法求命题公式 的主析取范式。
设 为偏序集,其哈斯图如题 28图所示,试求: (1)写出偏序关系≤。 (2) 设B = {c ,d,f},求 B的极大元、极小元、上界和下界。
设解释 I如下: D = {2,3}, F( 2 ,2) = F( 3 ,3) = 0 , F( 2 ,3) = F( 3 ,2) = 1 , f( 2 ,2) = f( 2 ,3) = 2 , f( 3 ,2) = f( 3 ,3) = 3。 求谓词公式
设A,B是任意集合,证明: 。
设图 G如题 33图所示, 证明:图 G不是哈密顿图。
用Kruskal算法求题35图中的一棵最小生成树,并画出此树。(须写出详细过程)
谓词公式中,量词
设R1,R2,,都是从集合A到B的二元关系,若 则下列各式成立的是