问答题

【计算题】
求公式（∀x）（P（x）→Q（x，y））→（R（y）→（）S（y，z））的等价前束范式或AI型斯特伦范式。

答案：

你可能感兴趣的试题

【简答题】今有n个人，已知他们中的任何二人合起来认识其余的n-2个人。证明：当n≥3时，这n个人能排成一列，使得任何两个相邻的人都相互认识。而当n≥4时，这n个人能排成一个圆圈，使得每个人都认识两旁的人。

答案：

【计算题】
求公式（（∀x）P（x）∨Q（y））→（∀x）R（x）的等价前束范式或AI型斯特伦范式。

答案：