Of or relating to a combinatorial system devised by George Boole that combines propositions with the logical operators AND and OR and IF THEN and EXCEPT and NOT.

• 通过和、或、非、如果、那么和除非等运算符号处理命题和计算机逻辑要素等变元的逻辑组合体系，或与其有关。