两个格式正确的公式的等价算法是什么

Question

如果“ F”显示“始终为假”而“ T”显示“始终为真”，那么测试两个WFF（格式正确的公式）是否相等的算法是什么，我们也有{¬，∧，∨ ，→，↔}