В чём заключается принцип равносильности в алгебре высказываний?

Принцип равносильности в алгебре высказываний заключается в том, что две формулы считаются равносильными, если они принимают одинаковые значения при любом наборе значений входящих в эти формулы переменных (элементарных высказываний). 15

Другими словами, формулы равносильны, если совпадают их таблицы истинности. 1

Равносильность используется для преобразования и упрощения формул. 1