Цифровые устройства как учебная дисциплина, страница 5

Эти две формулы логически абсолютно эквивалентны, хотя переход из одной в другую оказывается невозможным. Эквивалентность приведенных функций можно проверить при помощи следующей таблицы истинности.

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