对SA￢P进行换位的有效式是( )
A: PIS
B: ￢PIS
C: SE￢P
D: PES
A: PIS
B: ￢PIS
C: SE￢P
D: PES
举一反三
- 根据换质法的规则，SOP换质为（） A: SE￢P B: SA￢P C: SO￢P D: SI￢P
- 计算（￢P → Q）←→ R主析取范式规范正确的是 ——————— 。 A: (P ∧ Q ∧ ￢R) ∨ (P ∧ ￢Q ∧ R) ∨ (￢P ∧ Q ∧ R) ∨ ( ￢P ∧ ￢Q ∧ R) B: (P ∧ Q ∧ ￢R) ∨ (P ∧ ￢Q ∧ R) ∨ (￢P ∧ Q ∧ R) ∨ ( ￢P ∧ ￢Q ∧ R) C: ( P ∧ Q ∧ R)∨ (P ∧ ￢Q ∧ R)∨ (￢P ∧ Q ∧ R) ∨ (￢P ∧ ￢Q ∧ ￢R) D: (￢P ∧ ￢Q ∧ ￢R) ∨ (￢P ∧ Q ∧ R) ∨ (P ∧ ￢Q ∧ R) ∨ ( P ∧ Q ∧ R)
- P→(Q∧P)的主析取范式是（ ）。 A: ￢P∨Q B: ￢P∧Q C: (￢P∧Q)∨(￢P∧￢Q)∨(P∧Q) D: (￢P∨Q)∧(￢P∨￢Q)∧(P∨Q)
- 下列命题公式是永假式（也叫矛盾式）的有（） A: ￢P∨Q B: （P∧Q）∨（￢P∧￢Q） C: P∨￢P D: （P∧Q）∧￢P
- (￢(￢p∨q)∧￢(￢q∨p)) ⟺(p∧￢q)∧(q∧￢p) ( ) A: 双重否定律 B: 德摩根律 C: 排中律 D: 蕴含等值式