问答题
求下列命题公式的主析取范式,并求命题公式的成真赋值:(p→(q∧r))∧(¬p→(¬q∧¬r))
问答题 设R是A上的二元关系,R是自反的(反自反的、对称的、反对称的、传递的),BA,问R∩B×B是否依然是自反的(反自反的,对称的,反对称的,传递的).
问答题 设R1,R2,R3,R4,R5都是整数集上的关系,且 xR1y⇔x·y>0; xR2y⇔∣x-y∣=1; xR3y⇔x+y=10; xR4y⇔x∣y; xR5y⇔x=yk(k是整数)。 用yes和no填写下表。
问答题 求下列命题公式的主析取范式,并求命题公式的成真赋值:(p→q)→(p∨q)