propositional logic project