Abstract Basically Propositional Logic Important AND has higher procedural than OR. Boolean Algebra Laws