以下逻辑表达式的值恒为真的是A.P∪(-P∩Q)∪(-P∩-Q) B.Q∪(-P∩Q)∪(P∩-Q) C.P∪Q∪(P∩-Q)∪(-P∩Q) D.P∪-Q∪(P∩-Q)∪(-P∩-Q)

问题描述:

以下逻辑表达式的值恒为真的是
A.P∪(-P∩Q)∪(-P∩-Q) B.Q∪(-P∩Q)∪(P∩-Q) C.P∪Q∪(P∩-Q)∪(-P∩Q) D.P∪-Q∪(P∩-Q)∪(-P∩-Q)

A P和Q只是符号, ∩交 要求左右都真才真, ∪并只要左右有一个真就真. 负号表示反过来