逻辑或
逻辑或(logical or)又称逻辑析取(logical disjunction)、逻辑选言,是逻辑和数学概念中的一个二元逻辑算符。其运算方法是:如果其两个变量中有一个真值为“真”,其结果为“真”,两个变量同时为假,其结果为“假”。
逻辑或是两个逻辑变量的一种运算,经常是两个命题的运算。它满足:当且仅当其两个变量的真值都为假时,其结果为假。
真值表[编辑]
A或B的真值表(也写作A {\displaystyle \lor } \lor B(逻辑学),A || B(计算机科学),或A + B(电子学))。
A B ∨
真 真 真
真 假 真
假 真 真
假 假 假
性质
逻辑或满足以下性质:
保真性: 所有变量的真值皆为“真”的命题在逻辑或运算后的结果为真。
保假性: 所有变量的真值皆为“假”的命题在逻辑或运算后的结果为假。