Логика. Системы логических уравнений презентация

Системы логических уравнений
Метод отображения
Мирончик Ел. А.
Мирончик Ек. А.
г. Новокузнецк, 2012
Куда-нибудь ты обязательно дойдешь, конечно, если не остановишься на полпути.
Чеширский кот
Л.Кэрролл «Алиса в стране чудес»

максимальная четкость алгоритма;
алгоритм не изменится при изменении уравнений системы;
увеличение количества неизвестных не усложняет алгоритм
отсутствие наглядности;
обилие в рассуждениях фраз: аналогично, легко заметить, если … то, пусть и т.д.;
трудность проверки и поиска ошибок
Способы решения
Способ из сборника для подготовки к ЕГЭ
Метод отображения

Метод отображения
0
1
0
1
1
0
1

Метод отображения
00
01
10
11
00
01
10
11
x1x2
x2x3

Метод отображения
00
01
10
11
00
01
10
11
x1x2
x2x3
F (00) = F (00)
F (01) = F (00) + F (10)
F (10) = F (01) + F (11)
F (11) = F (01) + F (11)

Метод отображения
232

Задания для тренировки:
Задание 3*.
В таблицу выписали все решения уравнения
F(x1, x2, x3)=1
Сколько решений имеет система уравнений:
Задание 1.
Задание 2.

Дополнительные условия
143

Дополнительные условия
124

Дополнительные условия
56

Дополнительные условия
52

Дополнительные условия
65
52 решения
65 решений
Ответ: 117 решений