问答题
在自然推理系统P中构造下面推理的证明: 前提:p→(q→r),p,q 结论:r∨s。
问答题 高为h的r(r≥2)叉正则树至多有多少片树叶?至少呢?
问答题 用真值表法和主析取范式法证明下面推理不正确: 如果a和b之积是负数,则a和b中恰有一个是负数。a和b之积不是负数,所以a和b都不是负数。
问答题 求图所示的无向带权图G求一颗最小生成树T,并计算出T的权W(T)。