求(p -> r)∩ (q->非r)∩(非r ->(p∪q) ) 的主析取范式
求P∩Q∪R的主合取、主析取范式
求主析取范式(P→非Q)→R
离散数学问题:求主析取范式:1.(非p→q)→(非qVp) 2.(非p→q)^(q^r) 谢谢
求P→Q∨R的析取范式、主析取范式、主合取范式
求下列公式的主范式.1.(P→Q)↔ R(主析取范式) 2.(P→Q)↔ R(主合取范式)
求命题公式(P∨Q)→(R∨Q)的主析取范式、主合取范式 麻烦
求公式(P→Q)∧ (P→R)的主析取范式,主合取范式.急用,
求命题公式(P∧Q)∨R的主析取范式和主合取范式
(p^r^q)v(非r^q) 和p^q是画等号的一个
求命题公式(p∨(q∧r))→(p∧q∧r)的主析取范式 急
构造下面推理的证明前提:非(p合取非q),非q析取r,非r结论:非p
非空集合P,Q,R满足关系P∪Q=Q,Q∩R=Q,则P,R的关系是?请写下你的思路哦~