问答题
证明公式xP（x）∧yP（y）是永假式。
问答题 设有代数表示式如下： （3x-5y）4/a（2b+c2） 试画出这个表示式的树．
问答题 写出x（P（x）→Q（x））→（xP（x）→xQ（x））的前束范式。
问答题 求下图的最小生成树．
xP（x）∧
y
P（y）是永假式。