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