在以下元组演算公式中,与P1∨P2等价的是()。

【正确答案】 C
【答案解析】

本题考查关系演算相关分析。

根据关系验算公式,有如下等价的转换规则:

P1∨P2等价于┐(┐P1∧┐P2)
P1∧P2等价于┐(┐P1∨┐P2)

本题选择C选项。

也可以图示的方式进行分析。

P1和P2范围如下:




P1∨P2即表示P1或P2是真,范围如下所示:




(┐P1∧┐P2)即为空集,表示如下: