Your example:
[(p-->q) + (q --> p)] <--> [~(p-->q) v (~q --> p]).~[q <--> p]
Dot means "and."
The above can be reduced to nand form, demonstrating that any syllogism can be translated to modus ponens form.
The original post had the leftmost "or" as "v" (inclusive or) rather than "+" (exclusive or).
For clarity, not as a correction, the leftmost equivalence symbol replaces a previous implication symbol.