计算题 求下列命题公式的主析取范式，并求命题公式的成真赋值：（p→（q∧r））∧（¬p→（¬q∧¬r））

设R是A上的二元关系，R是自反的（反自反的、对称的、反对称的、传递的），BA，问R∩B×B是否依然是自反的（反...

问答题设R是A上的二元关系，R是自反的（反自反的、对称的、反对称的、传递的），B⊆A，问R∩B×B是否依然是自反的（反自反的，对称的，反对称的，传递的）.

设R1，R2，R3，R4，R5都是整数集上的关系，且 xR1y⇔x·y＞0； xR2y⇔∣x-y∣=1； xR...

问答题

设R₁，R₂，R₃，R₄，R₅都是整数集上的关系，且
xR₁y⇔x·y＞0；
xR₂y⇔∣x-y∣=1；
xR₃y⇔x+y=10；
xR₄y⇔x∣y；
xR₅y⇔x=y^k（k是整数）。
用yes和no填写下表。

求下列命题公式的主析取范式，并求命题公式的成真赋值：（p→q）→（p∨q）

问答题求下列命题公式的主析取范式，并求命题公式的成真赋值：（¬p→q）→（p∨¬q）