Truth Assignment of a Propositional Logic Formula