Равносильные преобразования. Эквивалентность алгебра логики формула. Свойство коммутативности. Логические операции в дискретной математике. Равносильные формулы.
Законы логики. Упростить формулу с помощью равносильных преобразований. Основные формулы равносильности. Равносильные преобразования логических формул. Равносильные преобразования уравнений.
Равносильные и неравносильные преобразования. Равносильные формулы логики предикатов. Формулы равносильности в логике. Равносильные формулы алгебры высказываний. Равносильные преобразования логических формул.
Основные равносильности логики высказываний. Равносильные формулы алгебры логики. Равносильные уравнения. Основные операции в алгебре логике. Основы равносильности алгебры логики.
Таблица равносильности в логике. Равносильные преобразования предикатов. Основные равносильности логики предикатов. Равносильные преобразования. Равносильные формулы логики предикатов.
Нормальные формы в логике предикатов. Таблица равносильности в логике. Равносильные преобразования. Основные равносильности логики высказываний. Тавтология в математической логике.
Равносильности алгебры логики. Основные равносильности булевой алгебры. Равносильные преобразования. Равносильные выражения алгебры логики. Законы равносильности алгебры логики.
