A Function that takes Propositional Variable as an input and returns a Propositional Variable as output