Как выразить эквиваленцию через другие логические операции?

Эквиваленцию можно выразить через другие логические операции, например, через отрицание, дизъюнкцию и конъюнкцию 1:

Также эквиваленцию можно выразить через импликацию и конъюнкцию или через дизъюнкцию и отрицание 2:

Если в выражении нет скобок, сначала выполняются все операции «НЕ», затем — «И», затем — «ИЛИ», потом — «импликация», и самая последняя — «эквиваленция» 4.