Лекция: Роль математики и логики в создании КС.

Для формального описания работы цифровых схем применяют аппарат алгебры логики, где используют понятия логическая переменная, логическая функция. Переменная принимает только 2 значения(0 или 1). Логическая функция включает несколько логических переменных, связанных математическими знаками операции алгебры логики. Существуют различные способы представления логических функций(аналитические, табличные). Используют функции конъюнкции, дизъюнкции, отрицание, импликации, эквиваленции.

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

Простейшие преобразователи

Наименование формы Вид логической операции
Дизъюнкция конъюнкция инверсия Ф. Шеффера Ф. Пирса
Символическая V,+ ^,* x |
Буквенная или и не И-не Или-не
Условная(УГО)
Аналитическая Yд=x1vx2 Yк=X1^x2 Yи= Yш=X1|x2 Yп=X1x2
Таблица истинности

 

 

 

 

 

 

еще рефераты
Еще работы по информатике