Метод алгебраического решения логических задач заключается в использовании алгебры логики. 2 Он позволяет разобрать виды высказываний и их взаимосвязь в логических задачах и формализовать решение таких задач. 3

Алгоритм решения логических задач с помощью алгебры логики: 2

1. Изучение условия задачи. 2
2. Выделение простых высказываний, которым даются имена. 2
3. Запись условия задачи языком алгебры логики. 2
4. Составление конечной формулы, для чего объединяются формулы каждого утверждения с помощью логического умножения и приравнивается полученная формула единице. 2
5. Упрощение формулы, анализ полученного результата или составление таблицы истинности, нахождение по таблице значения переменных, для которых F=1, анализ результатов. 2

Ещё один алгоритм решения логических задач алгебраическим методом: 4

1. Проанализировать условие задачи. 4
2. Ввести систему обозначений для логических высказываний. 4
3. Сконструировать логическую функцию, описывающую логические связи между всеми заданными высказываниями задачи — составить информационную модель. 4
4. Упростить выражение, задающее сконструированную функцию. 4
5. Определить значения истинности этой логической функции, для этого составить компьютерную модель, рассчитанную на выбранного исполнителя. 4
6. Из полученных значений истинности функции определить значения истинности введённых логических переменных. 4
7. По значению переменных сделать заключение о решении задачи. 4