Роль математики и логики в создании КС

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

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

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

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