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