问答题
求下面公式的主合取范式，再用主合取范式求主析取范式： （p∨q）→q
已知集合A,B其中A≠Ø，是偏序集，定义BA上的二元关系R如下：
将公司（￢p→q）Λr化成与之等值且仅含∣￢，→∣中联结词的公式。
问答题将公司（￢p→q）Λr化成与之等值且仅含∣￢，→∣中联结词的公式。
波兰符号法表示上面的算式
问答题波兰符号法表示上面的算式
