Representing Propositional Logic Connectives With Modular Polynomials