#507. NOIP2010TG-3

NOIP2010TG-3

  1. (单选题)以下逻辑表达式的值恒为真的是( )。

{{ select(1) }}

  • P∨(┓P∧Q)∨(┓P∧┓Q)
  • Q∨(┓P∧Q)∨(P∧┓Q)
  • P∨Q∨(P∧┓Q)∨(┓P∧Q)
  • P∨┓Q∨(P∧┓Q)∨(┓P∧┓Q)