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

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

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

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

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

Битовые строки

Для каждой системы кодирования характерно свое деление ячейки на поля(части и интерпретация этих полей. Например, при записи чисел с ПТ, ячейка делится на 3 поля: поле знака, поле порядка, поле мантиссы.

Понятие битовых строк распространяется на наборы, в которых отдельные последовательности битов объединены в группы, т.е. вводит любое нестандартное для данной компьютерной системы деление ячейки на поля.

Операции с битовыми строками

Самая простая машинная операция – пересылка, суть которой копирование одной ячейки памяти в другую. Операции с битовыми строками относятся к числу простых.

Логические сдвиги – ячейка из n битов содержит битовую строку А в виде а_n-1a_n-2…а₀

Операция «сдвиг влево логический» превращает строку А в новую строку А’-> а_n-2a_n-3…а₀0

При этом бит крайний левой выходит за пределы ячейки и теряется. К краткое применение операции приведет к сдвигу исходной строки на К позиций, при К=n битовая строка превратится в нулевую.

Операция «сдвиг вправо логический» выполняется аналогично и переводит битовую строку в А’’->0_an-1an-2…a1

SLL A, K- сдвиг строки А влево на К позиций

SPL A, K – сдвиг строки а вправо на К позиций

SLC A, K – сдвиг влево циклический

а_n-2a_n-3…а₀а_n-1

Маска

Часто, при шифровании информации используют шаблон – маску, таким образом, прочитать информацию можно только с помощью этого шаблона. В КС в качестве маски может быть использована любая битовая строка. Единицы играют роль прорезей в шаблоне.

А7 А6 А5 А4 А3 А2 А1 А0 – битовая строка

0 0 0 1 0 0 1 0 - маска

0 0 0 А4 0 0 A1 0 – результат

Данная операция эквивалентна логическому умножению байта на маску и называется прочитать по маске. Есть операция «собрать по маске». Она заключается в том, что нужно прочитать по маске и сдвинуть результат в левый край байта. Остальные биты заполняются нулями.

Пример:

11011000 – исходная строка

00101000 – маска

00001000 – прочитать по маске

01000000 – собрали по маске(разобрать по маске – вернуться на 1 шаг назад)