Алгебра логики, преобразование выражений на язык алгебры, построение таблицы истинности, рассмотрение исходных вариантов