условие задачи;
вводится система обозначений для логических высказываний;
конструируется логическая формула, описывающая логические связи
между всеми высказываниями условия задачи;
определяются значения истинности этой логической формулы;
из полученных значений истинности формулы определяются значения
истинности введённых логических высказываний,
на основании которых делается заключение о решении.