Equivalential Formula

new equivalential formula
show answer
show τ set

Is the formula a tautology?

EEEEqrprEqEpEqr

τ set of the formula:

{q,r,EpEqr,EqEpEqr,EEqrp,EEEqrpr,EEEEqrprEqEpEqr}

This Demonstration enables the user to decide whether a formula of equivalential calculus is a tautology. Is there any simple rule? The Demonstration also introduces the notion of the

τ

set of a formula, a measure of the symmetry of the formula of equivalential calculus.