Boolean logic
noun
°A system of symbolic logic that is the basis of Boolean algebra.