The biconditional truth table is:
|P||Q||P ↔ Q|
An equation is a propositional form.
2x + 8y = 16 ↔ x + 4y = 8
This expression is a biconditional propositional form that can also be translated by: we can multiply or divide all the terms in an equation by a non-zero number without changing its truth value..