构造实体几何是实体造型中应用的一项技术。CSG 是 三维计算机图形学与CAD中经常使用的一个程序化建模技术。在构造实体几何中，建模人员可以使用逻辑运算符将不同物体组合成复杂的曲面或者物体。 CSG 可以用简单的实体来构造或表达非常复杂的模型或者曲面。在有些场合中，构造实体几何只在多边形网格上进行处理，因此可能并不是程序化的或者参数化的。
当且仅当，在数位逻辑中，逻辑运算符反互斥或闸是对两个运算元的一种逻辑或类型，符号为XNOR或ENOR或
⇔
{\displaystyle \Leftrightarrow }
。与一般的逻辑或非NOR不同，当两两数值相同为是，而数值不同时为否。在数学、哲学、逻辑学以及其他一些技术性领域中被用来表示“在这个条件成立，并且仅在这个条件成立时”之意。命题
p
,
q
{\displaystyle p,q}
满足“
p
{\displaystyle p}
则
q
{\displaystyle q}
”且“仅当
p
{\displaystyle p}
则
q
{\displaystyle q}
”时，称为“当且仅当
p
{\displaystyle p}
则
q
{\displaystyle q}
”，其他等价关系的说法有“
q
{\displaystyle q}
当且仅当
p
{\displaystyle p}
”；“
p
{\displaystyle p}
是
q
{\displaystyle q}
的充分必要条件”；“
p
{\displaystyle p}
等价于
q
{\displaystyle q}
”。
在逻辑中，逻辑运算符互斥或是对两个运算元的一种逻辑或类型。与一般的逻辑或不同，当两两数值相同时为否，而数值不同时为真。
算子或运算符在电脑编程上是指一种程式语言里面行为类似函数的东西，他们可以进行诸如“加减”或者“比较两个数的大小”以及逻辑运算符等运算。编程语言通常内置一组运算符，某些情况下用户可以为现有的运算符添加新的含义，甚至定义全新的运算符。
在命题演算，或在数学的逻辑演算中，实质条件、实质蕴涵或蕴涵算子是一种二元关系的真值泛函的逻辑运算符，它有着如下形式：
在逻辑和数学里，命题演算是一个形式系统，有着可以由以逻辑运算符结合原子命题来构成代表“命题”的公式，以及允许某些公式建构成“定理”的一套形式“证明规则”。
在逻辑和数学里，命题演算是一个形式系统，有着可以由以逻辑运算符结合原子命题来构成代表“命题”的公式，以及允许某些公式建构成“定理”的一套形式“证明规则”。
算子或运算符在电脑编程上是指一种程式语言里面行为类似函数的东西，他们可以进行诸如“加减”或者“比较两个数的大小”以及逻辑运算符等运算。编程语言通常内置一组运算符，某些情况下用户可以为现有的运算符添加新的含义，甚至定义全新的运算符。
在逻辑和数学里，命题演算是一个形式系统，有着可以由以逻辑运算符结合原子命题来构成代表“命题”的公式，以及允许某些公式建构成“定理”的一套形式“证明规则”。
在命题演算，或在数学的逻辑演算中，实质条件、实质蕴涵或蕴涵算子是一种二元关系的真值泛函的逻辑运算符，它有着如下形式：
Mini wiki
