Прямой и дополнительные коды. Выполнение арифметических операций в прямом обратном и дополнительным коде

Прямой код.
Прямым кодом числа с фиксированной точкой у которого левый разряд называется знаковым разрядом. Сложение осуществляется по правилам двоичного кода. Сложение в прямом коде возможно только для чисел с одним знаком, при чем знаковый разряд в сложение не учувствует.

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

Дополнительный код.
Дополнительный код для отрицательных чисел получается из обратного кода +1. При переполнении единица переноса отбрасывается.

Обратный и дополнительные коды имеют модифицированные коды. Модифицированные коды имеют сдвоенный кодовый разряд (01 и 10 – переполнение).

Алгебры логики: Основные понятия, Функции алгебры логики (ФАЛ).

Функцией алгебры-логики называется функция множеством аргументов и множеством значений которой являются переменные, каждая из которых может принимать два значения (истина/ложь).
 – количество комбинаций (аргументов функции); - возможно функций от n переменных

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