Содержимое статьи:
Шаг 1: Склеивание
Склеивание - это процесс объединения двух соседних конъюнкций, имеющих одинаковый смысл.
- Правильная склейка:
- a'b'c + a'bc' = a'(b' + bc') = a'b'
- Неправильная склейка:
- ab'c' + ac'b = ab'c' + ac'b (нельзя склеить)
Шаги для склеивания
- Расположите конъюнкции в таблице истинности.
- Найдите столбцы, в которых значения конъюнкций совпадают.
-
Склейте конъюнкции, объединив переменные, имеющие одинаковые значения в соответствующих столбцах.
Пример
Дано СДНФ: F = a'b'c + a'bc' + ab'c + abc
Таблица истинности: |
a |
b |
c |
F |
| 0 |
0 |
0 |
1 |
| 0 |
0 |
1 |
1 |
| 0 |
1 |
0 |
1 |
| 0 |
1 |
1 |
0 |
| 1 |
0 |
0 |
1 |
| 1 |
0 |
1 |
0 |
| 1 |
1 |
0 |
0 |
| 1 |
1 |
1 |
1 |
Совпадающие столбцы:
- b'c': столбцы 1, 2, 3
- ab': столбцы 4, 5
- abc: столбцы 7, 8
Склеиваемые конъюнкции:
- a'b'c + a'bc' = a'b'
- ab'c + abc = ab'