当前位置： 首页 > 离散数学(02324)

下列为两个命题变元P,Q的大项是

阅读全文

命题公式¬(P→Q)的主析取范式是______。

阅读全文

命题公式¬(P→Q)的主合取范式是__________。

阅读全文

命题公式A中含n个命题变项,A为矛盾式的条件是A的主合取范式含

阅读全文

在自然数集上的二元运算

阅读全文

求下列各公式的析取范式和合取范式。(1)¬(PⅤQ)→(P⋀Q);(2)(P⟷ Q)ⅤR;(3)(P→Q)Ⅴ（Q⋀R）

阅读全文

求下列各公式的主析取范式和主合取范式,并判断各式类型。(1)(¬P→Q)→(¬QⅤP);(2)¬(P→Q)ⅤQ⋀R;(3)(¬P

阅读全文

使用将公式化为范式的方法证明下列各等价式。(1)(A→B)⋀(A→C)⟺ (A→(B⋀C));(2)(A→B)→(A⋀B)⟺ (

阅读全文

利用等值演算法求命题公式(P⋀(Q→R))→Q的主合取范式。

阅读全文

利用等值演算法求命题公式(P⋁Q)→(¬Q⋁R)的主析取范式。

阅读全文
1...89101112...176