Write a python function format prop that allows to print a proposition in Propositional Logic using the indicated list representation. Consider the connectives: ∨, ∧, =⇒, ⇐⇒, ¬. and ⊕ (XOR). In the...

Write a python function format prop that allows to print a proposition in Propositional Logic using the
indicated list representation. Consider the connectives: ∨, ∧, =⇒, ⇐⇒, ¬. and ⊕ (XOR). In the code,
they will be written, respectively, as: or, and, if, iff, not, xor.