符号简介
逻辑运算符把各个运算的变量(或常量)连接起来组成一个逻辑表达式。然而,由于"或逻辑"线性约束条件的非凸状态空间的本质,用结构型控制器实现该线性约束条件将比较困难。
符号定义
逻辑或是两个逻辑变量的一种运算,经常是两个命题的运算。它满足:当且仅当其两个变量的真值都为假时,其结果为假。
符号性质
逻辑或满足以下性质:
结合律: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))
保真性:所有变量的真值皆为“真”的命题在逻辑或运算后的结果为真。保假性:所有变量的真值皆为“假”的命题在逻辑或运算后的结果为假。