Узнать,являются ли две формулы алгебры высказываний равносильными

Отношение равносильности рефлексивно, симметрично, транзитивно.

Связь меж понятиями равносильности и эквивалентности: если формулы A и B равносильны, то формула AB тавтология, и назад, если формула AB тавтология, то формулы A и B равносильны.

Равносильности алгебры логики можно разбить на 3 группы:

1.     Основные равносильности.

          законы идемпотентности;

        ;

        ;

        ;

        ;

          закон противоречия;

          закон исключенного третьего;

          закон снятия двойного отрицания;

          законы поглощения.

1.     Равносильности, выражающие одни логические операции через иные:

        ;

        ;

        ;

        ;

        ;

        .