逻辑或 符号简介 符号定义 数学术语

符号简介

逻辑运算符把各个运算的变量（或常量）连接起来组成一个逻辑表达式。然而,由于"或逻辑"线性约束条件的非凸状态空间的本质,用结构型控制器实现该线性约束条件将比较困难。[1]

符号定义

逻辑或是两个逻辑变量的一种运算，经常是两个命题的运算。它满足：当且仅当其两个变量的真值都为假时，其结果为假。

符号性质

逻辑或满足以下性质：

结合律: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))

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