Формулы алгебры логики принято обозначать большими буквами латинского алфавита, хотя возможны и другие обозначения. Две формулы алгебры логики 
называются равносильными, если они принимают одинаковые логические значения при любом наборе значений входящих в формулы элементарных высказываний.
Обозначение: 
. Очевидно, например, 
, p ~ p и т.д.
Между понятием равносильности и законом эквивалентности 
существует следующая связь: если формулы равносильны, то формула 
принимает значение 1 при всех значениях переменных, и обратно: если формула принимает значение 1 при всех значениях входящих в нее высказываний, то формулы равносильны, т.е. . При этом следует помнить, что знак 
является символом формального языка, с помощью которого строятся формулы, а символом ~ заменяется слово “равносильно”.
1. Основные равносильности:
1.1. 
- закон идемпотентности конъюнкции
1.2. - закон идемпотентности дизъюнкции
1.3. 
.
1.4. 
- закон противоречия
1.5. 
- закон исключенного третьего.
1.6. 
- закон двойного отрицания.
1.7. 
- законы поглощения.
1.8. 
- формулы расщепления.
Все эти соотношения легко проверяются по таблицам истинности.
