2つの二項演算子の記号を∧/∩{\displaystyle\land/\cap}（論理積/AND/共通部分）と∨/∪{\displaystyle\lor/\cup}（論理和/OR/和集合）とし、単項演算子の記号を¬{\displaystyle\lnot}/~（論理否定/NOT/補集合）とする。
为两个主要的二元运算的符号定义为∧/∩{\displaystyle\land/\cap}(逻辑与/交集）和∨/∪{\displaystyle\lor/\cup}(逻辑或/并集），把单一的一元运算的符号定义为¬{\displaystyle\lnot}/~(逻辑非/补集）。