计算题

已知集合A,B其中A≠Ø，是偏序集，定义B^A上的二元关系R如下：

将公司（￢p→q）Λr化成与之等值且仅含∣￢，→∣中联结词的公式。

问答题将公司（￢p→q）Λr化成与之等值且仅含∣￢，→∣中联结词的公式。

波兰符号法表示上面的算式

问答题波兰符号法表示上面的算式

用一棵树2叉有序正则树表达上面的算式。

问答题用一棵树2叉有序正则树表达上面的算式。