Выбор модуля для контроля цифрового автомата.



К величине модуля обычно предъявляются следующие требования:

1) величина модуля должна обеспечивать обнаружение любой одиночной арифметической или логической ошибки и как можно большего числа ошибок более высокой кратности;

2) образование контрольного кода должно осуществляться наиболее простым и быстрым способом, т. е. простыми средствами;

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

Ввиду того, что цифровая информация в ЭВМ должна представляться

символами двоичного алфавита, для контроля целесообразно перейти к системам счисления с основанием q=2s, где s — некоторое целое положительное число (s ≥ 2). Переход от двоичного представления исходной информации к новому представлению с основанием q=2s осуществляется разбиением информации на группы по s разрядов с последующим суммированием этих групп по модулю р = (2s - 1)/m или при m = 1, р =2s-1.

Свертывание — процесс разбиения кодовой комбинации на группы и получения контрольного кода. Как правило, свертки (свернутые коды) образуются в результате суммирования выделенных групп по модулю р.

В теории кодирования показано, что модуль можно выбирать из условия р = (2s± 1)/m.

 

Основные понятия алгебры логики. Свойства элементарных функций.

Алгебра логики - раздел математики. Она оперирует логическими высказываниями.

Логическое высказывание - любое предложение в повествовательной форме, о котором можно однозначно сказать, истинно оно или ложно. Простое высказывание - логическое высказывание, состоящее из одного утверждения. Сложное высказывание - логическое высказывание, состоящее из нескольких утверждений, объединенных с помощью "связок": союзов "и", "или (либо)", частицы "не", связки "если, то" и др.

Логические операции - "связки": союзы и частицы естественного языка, образующие из простых высказываний сложные, представленные в формальном виде.

Логическое выражение - простое или сложное логическое высказывание, представленное в формальном виде.

Законы алгебры логики - законы, позволяющие преобразовывать логические выражения.

Логическая переменная - переменная, которая может принимать значение 1 (истина) или 0 (ложь).

Логическая функция - функция, аргументы и значение которой могут принимать значение 1 (истина) или 0 (ложь).

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

Диаграммы Эйлера-Венна - диаграммы, которые служат для наглядного представления всех вариантов пересечения нескольких множеств.

Для булевой алгебры справедливы свойства:

1) ассоциативность

x1 v (x2 v x3) = (x1 v x2) v x3; x1 (x2 x3) = (x1 x2) x3;

2) коммутативность

x1 v x2 = x2 v x1; x1 x2 = x2 x1;

3) дистрибутивность

x1 (x2 v x3) = (x1 x2) v (x1 x3); x1 v(x2 x3) = (x1 v x2) v (x1 v x3).

 

Аналитическое представление функций алгебры логики. Совершенные нормальные формы.

Терм – это выражение, связывающее переменные или их инверсии одной операцией. В качестве связывающей операции обычно выступает конъюнкция или дизъюнкция. Рангом терма называется количество переменных в терме.

Конъюнктивный терм называют иногда словом минтерм, дизъюнктивный терм называют также словом макстерм.

Дизъюнктивной нормальной формой (ДНФ) называется функция алгебры логики, представленная в виде набора конъюнктивных термов (минтермов), связанных операцией дизъюнкции.

В формуле ДНФ каждый терм отвечает за определенную строку таблицы истинности, то есть за одну из ситуаций, когда функция принимает единичное значение.

Если в ДНФ ранг каждого терма равен количеству аргументов функции, то такая формула называется совершенной дизъюнктивной нормальной формой или СДНФ.

Алгоритм построения СДНФ по таблице истинности заключается в следующем:

1) Для каждой строки таблицы истинности, равной единице, сформировать минтерм, в котором аргументы, равные нулю, указать с инверсией, а аргументы, равные единице, указать без инверсии.

2) Объединить все полученные термы операцией дизъюнкция.

Конъюнктивной нормальной формой (КНФ) называется функция алгебры логики, представленная в виде набора дизъюнктивных термов (макстермов), связанных операцией конъюнкции.

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

В формуле КНФ каждый терм отвечает за определенную строку таблицы истинности, то есть за одну из ситуаций, когда функция принимает нулевое значение.

Если в КНФ ранг каждого терма равен количеству аргументов функции, то такая формула называется совершенной конъюнктивной нормальной формой или СКНФ.

Алгоритм построения СКНФ по таблице истинности заключается в следующем:

1) Для каждой строки таблицы истинности, равной нулю, сформировать макстерм, в котором аргументы, равные единице, указать с инверсией, а аргументы, равные нулю, указать без инверсии.

2) Объединить все полученные термы операцией конъюнкция.

 


Дата добавления: 2018-08-06; просмотров: 333; Мы поможем в написании вашей работы!

Поделиться с друзьями:






Мы поможем в написании ваших работ!