共用题干题

设S=，R为实数集，f是从S到T的函数，f（x）=

试说明f是否为单射或满射的

求下面公式的主合取范式，再用主合取范式求主析取范式： （p∨q）→q

问答题

求下面公式的主合取范式，再用主合取范式求主析取范式：
（p∨q）→q

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

问答题

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

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

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