Propositional Logic Operation Set