- •Рабочая тетрадь
- •Раздел 1 Множества
- •Раздел 2 Формулы логики
- •Тема 2.1 Высказывания
- •Тема 2.2 Законы логики
- •Тема 2.3 Применение логических формул
- •Совершенная конъюнктивная нормальная форма (скнф).
- •Совершенная дизъюнктивная нормальная форма (сднф).
- •Решение логических задач
- •Раздел 3 Булевы функции
- •Тема 3.1 Функции алгебры логики
- •Пример. Какую функцию реализует формула:
- •Тема 3.2 Многочлен Жегалкина
- •Тема 3.3 Булевы уравнения и их системы Булевы уравнения
- •Сведение к одному уравнению:
- •Построение таблиц истинности
- •3. Декомпозиция
- •Система булевых уравнений
- •Раздел 4 Предикаты
- •Тема 4.1 Предикаты
- •Раздел 5 Элементы теории автоматов
- •Тема 5.2 Машина Тьюринга
Тема 3.3 Булевы уравнения и их системы Булевы уравнения
Способы решения:
Сведение к одному уравнению:
Пример.
Решить уравнение
.
Решение.
Построение таблиц истинности
Пример.
Решить уравнение
Решение.
Х |
1 |
2 |
3 |
0 |
|
|
|
1 |
|
|
|
3. Декомпозиция
Пример. Решить уравнение
Решение.
Х=0
Х=1
Задание. Решить уравнения всеми методами
Система булевых уравнений
Способы решения
Построение таблиц истинности
Пример. Решить систему уравнений:
Х |
У |
1 |
2 |
3 |
4 |
0 |
0 |
|
|
|
|
0 |
1 |
|
|
|
|
1 |
0 |
|
|
|
|
1 |
1 |
|
|
|
|
Декомпозиция
Пример. Решить систему уравнений:
Решение.
Х=0
Х=1
Задание. Решить системы уравнений всеми методами.
