Программирование на JAVA

Реклама :




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


Целью минимизации логического выражения, представляющего заданную логи­ческую функцию, является уменьшение стоимости ее реализации (количества ис­пользуемых логических элементов). Общая схема процесса реализации логической функции такова. Сначала по описанному нами алгоритму для нее составляется сум­ма произведений (дизъюнктивная совершенная нормальная форма). Затем получен­ное выражение минимизируют до эквивалентной минимальной суммы произведений. Чтобы определить критерий минимизации, нужно ввести понятие стоимости, или величины, логического выражения.

Обычно при оценке стоимости выражения учитывается общее количество вентилей и их входных значений (входных линий), необходимых для реализации выражения в форме, показанной на рис


<< назад вперед >>