Propositional Logic Rules Discrete