Эквиваленция выражается через конъюнкцию и импликацию

C«Uº(C®U)×(U®C) (3)

Из (3) и (1) получаем

C«Uº( ÚU)×( ÚC)º × Ú Y× Ú ×X Ú C×U= × ÚC×U (4)

Эта равносильность выражает эквиваленцию через конъюнкцию, дизъюнкцию и отрицание. Из равносильностей (3) и (2) получаем равносильность

C«U= Ù , (5) выражающую эквиваленцию через конъюнкцию и отрицание.

! Вывод: В алгебре логики всякую логическую функцию можно выразить через другие логические функции, но их должно быть по меньшей мере 2 операции, при этом одной из них обязательно должно быть отрицание.

Все операции можно выразить через конъюнкцию и отрицание, дизъюнкцию и отрицание, импликацию и отрицание. Через эквиваленцию и отрицание остальные операции выразить нельзя.