设命题公式G[=]￢(P→Q)，H[=]P→(Q→￢P),则公式G与H满足 .
举一反三
- 设命题公式G[=]￢(P→Q)，H[=]P→(Q→￢P),则公式G与H满足 . A: G <=> H B: H → G C: G => H D: H => G
- 下面公式是合取范式的有（） A: p B: ￢p C: p∨￢q D: p∨￢q∨ E: p∧￢q F: (p∧￢q)∨ G: (p∧￢q)∨r∨(p→r) H: ￢(p∧￢q)∨ I: p∧(q∨r) J: (p∨￢r)∧(￢q∨r)∧(￢p∨q∨r)
- 设命题公式G= Ø（P®Q），H=P®（Q® ØP），则G与H的关系是
- 命题公式p→q的主合取范式是（） A: ￢p∨q B: p∨q C: (￢p∧￢q)∨(￢p∧q)∨(p∧q) D: (￢p∧￢q)∨(p∧￢q)∨(p∧q)
- 命题公式p→q的主析取范式是（） A: ￢p∨q B: p∨q C: (￢p∧￢q)∨(￢p∧q)∨(p∧q) D: (￢p∧￢q)∨(p∧￢q)∨(p∧q)