逻辑或运算性质

逻辑或运算性质逻辑或满足以下性质: 结合律: A||(B||C)= (A||B)||C交换律: A||B = B||A分配律: A||(B∧C) = ((A||B)∧(A||C))A∧(B||C) = ((A∧B)||(A∧C))A||(B=C) = ((A||B)=(A||C))幂等律: A||A = A单调性: (A→B)→((C||A)→(C||B))(A→B)→((A||C)→(B||C))保真性:所有变量的真值皆为“真”的命题在逻辑或运算后的结果为真

保假性:所有变量的真值皆为“假”的命题在逻辑或运算后的结果为假

以上内容由大学时代综合整理自互联网,实际情况请以官方资料为准。

相关