问答题
(∃x)(∀y)(P(x,y)∨Q(y,z))∧(∀x)R(x,y)求前束析取范式
填空题 彼得松图的点连通度k和边连通度λ为()。
问答题 设e=(u,v)为无向图G中一桥,证明:u是割点当且仅当u不是悬挂顶点。
问答题 (x)(P(x)→(y)((x)Q(x,y)→(z)R(x,y,z))),求前束析取范式