Эти две формулы логически абсолютно эквивалентны, хотя переход из одной в другую оказывается невозможным. Эквивалентность приведенных функций можно проверить при помощи следующей таблицы истинности.
|
A |
B |
C |
y1 |
y2 |
|
0 |
0 |
0 |
0 |
0 |
|
0 |
0 |
1 |
1 |
1 |
|
0 |
1 |
0 |
0 |
0 |
|
0 |
1 |
1 |
1 |
1 |
|
1 |
0 |
0 |
0 |
0 |
|
1 |
0 |
1 |
0 |
0 |
|
1 |
1 |
0 |
1 |
1 |
|
1 |
1 |
1 |
1 |
1 |
Для минимизации логических функций, при ограниченном количестве переменных, существуют стандартные методы минимизации.
ЛЕКЦИЯ 2.
МЕТОД КАРТЫ КАРНО.
Карта Карно представляет собой прямоугольную таблицу, количество клеток в которой равно 2n, где n – число логических переменных минимизируемой логической функции.
|
ab cd |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.
