问答题
求下列命题公式的主析取范式,并求命题公式的成真赋值:¬(p→q)↔(p→¬q)
问答题 求下列命题公式的主合取范式,并求命题公式的成假赋值:(p→q)∧r
问答题 求下列命题公式的主析取范式,并求命题公式的成真赋值:(p→(q∧r))∧(p→(q∧r))
问答题 设R是A上的二元关系,R是自反的(反自反的、对称的、反对称的、传递的),BA,问R∩B×B是否依然是自反的(反自反的,对称的,反对称的,传递的).