在以下元组演算公式中,与P1∨P2等价的是()。
┐(┐P1∨┐P2)
┐P1∨┐P2
┐(┐P1∧┐P2)
┐P1∧┐P2
本题考查关系演算相关分析。
根据关系验算公式,有如下等价的转换规则:
P1∨P2等价于┐(┐P1∧┐P2)P1∧P2等价于┐(┐P1∨┐P2)
本题选择C选项。
也可以图示的方式进行分析。
P1和P2范围如下:
P1∨P2即表示P1或P2是真,范围如下所示:
(┐P1∧┐P2)即为空集,表示如下: