Built-in: Boolean Algebra

 

Some basic concepts from MathHacks: