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