逻辑或（数学术语）
趣找知识 2023-06-03知识百科
逻辑或数学术语“||”(逻辑或)是三种逻辑运算符。“逻辑或”相当于生活中的“或者”，当两个条件中有任一个条件满足，“逻辑或”的运算结果就为“真”。中文名逻辑或所属逻辑运
逻辑或数学术语
“||”(逻辑或)是三种逻辑运算符。“逻辑或”相当于生活中的“或者”，当两个条件中有任一个条件满足，“逻辑或”的运算结果就为“真”。
中文名逻辑或
逻辑运算符
两个命题的运算
保真性；保假性
符号简介
逻辑运算符把各个运算的变量（或常量）连接起来组成一个逻辑表达式。然而,由于"或逻辑"线性约束条件的非凸状态空间的本质,用结构型控制器实现该线性约束条件将比较困难。[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))
保真性:所有变量的真值皆为“真”的命题在逻辑或运算后的结果为真。保假性:所有变量的真值皆为“假”的命题在逻辑或运算后的结果为假。
参考资料1.实现“或逻辑”线性约束的结构型控制器设计方法综述·知网空间
很赞哦！ ()
