Лекция: Роль математики и логики в создании КС.
Для формального описания работы цифровых схем применяют аппарат алгебры логики, где используют понятия логическая переменная, логическая функция. Переменная принимает только 2 значения(0 или 1). Логическая функция включает несколько логических переменных, связанных математическими знаками операции алгебры логики. Существуют различные способы представления логических функций(аналитические, табличные). Используют функции конъюнкции, дизъюнкции, отрицание, импликации, эквиваленции.
Таблица истинности – это функциональная взаимозависимость значений выходной величины Yi логического устройства, с каждой из взаимных итых операций входных переменных, представленных в табличной форме.
Простейшие преобразователи
| Наименование формы | Вид логической операции | ||||
| Дизъюнкция | конъюнкция | инверсия | Ф. Шеффера | Ф. Пирса | |
| Символическая | V,+ | ^,* | x | | | ↓ |
| Буквенная | или | и | не | И-не | Или-не |
| Условная(УГО) | |||||
| Аналитическая | Yд=x1vx2 | Yк=X1^x2 | Yи= | Yш=X1|x2 | Yп=X1x2 |
| Таблица истинности |
|
|
|
|
|