Decision Procedures for Boolean Logics