They are called Boolean operators AND they can be combined to make AND NOT. That’s because the Boolean operator OR does NOT really mean OR, which usually means AND NOT.

Boolean logic: The method used to evaluate conditions, returning either TRUE or FALSE. Logical functions: The primary logical ...

In this paper we investigate computable isomorphisms of Boolean algebras with operators (BAOs). We prove that there are examples of polymodal Boolean algebras with finitely many computable isomorphism ...