Табличный способ

СПОСОБЫ ЗАДАНИЯ ФАЛ

Существует множество способов задания ФАЛ. Среди них наиболее известны такие способы, как [1]:

1) табличный;

2) графический;

3) координатный (при помощи карт Карно);

4) числовой;

5) аналитический;

6) на основе диаграмм двоичного решения;

7) при помощи диаграмм Венна;

8) с использованием контактных схем.

Рассмотрим указанные способы задания подробнее.

При этом способе ФАЛ задается таблицей зависимости выходных значений от входных наборов. Такая таблица называется таблицей истинности (ТИ). Для n аргументов ТИ содержится k = 2ⁿ строк (по числу наборов значений аргументов) и (n + 1) столбцов – по числу аргументов плюс один столбец значений функции. В ТИ каждому набору аргументов соответствует свое значение функции. Таблицы 2.1, 2.2 и 2.3 представляют собой ТИ от двух, трех и четырех аргументов соответственно.

При этом таблица 2.1 содержит k = 2² = 4 строки, таблица 2.2 содержит k = 2³ = 8 строк, а таблица 2.3 – k = 2⁴ = 16 строк.

Для того чтобы задать все ФАЛ от n аргументов, необходимо построить таблиц истинности или объединить их в одну совокупную ТИ. Так, если число аргументов n = 2, то число наборов (количество строк в ТИ) будет k = 2² = 4, а количество ТИ для задания всех ФАЛ от двух переменных R = 2^k = 2⁴ = 16. После объединения всех ФАЛ в одной совокупной ТИ, можно проследить основные характеристики взаимосвязи ФАЛ от двух переменных (таблица 2.4).

Одна половина функций в таблице 2.4 инверсна (обратна по значению) другой (, остальные являются константами (f ₀; f ₁₅). Кроме того ряд функций аналогичен функциям от одной переменной (f ₃ = x ₁; f ₅ = x ₂; ), т.е. эти функции существенно не зависят от одного из аргументов. Если функция существенно не зависит от аргумента x _m, то выполняется условие , а аргумент x _m называют фиктивным.

Т а б л и ц а 2.4 – ФАЛ двух аргументов

x 1

x 2

f 0

f 1

f 2

f 3

f 4

f 5

f 6

f 7

f 8

f 9

f 10

f 11

f 12

f 13

f 14

f 15

Обозначение

Х

·

D

Х

D

Х

Å

Ú

¯

µ

¯

®

¯

®

|

Х

В противном случае функция является существенно зависящей от аргумента x _m. Например, в таблице 2.5 аргумент x ₁ является фиктивным, и функция существенно зависит от аргумента x ₂.

Рассмотрим остальные ФАЛ в таблице 2.4:

f ₁ – функция «И» (логическое умножение, конъюнкция). Обозначается f ₁ = x ₁× x ₂, или f ₁ = x ₁& x ₂, или f ₁ = x ₁ Ù x ₂. Данная функция будет равна нулю, если хотя бы один из ее аргументов равен нулю, и, равна единице только тогда, когда оба ее аргумента равны единице;

f ₂ – запрет второго аргумента. Обозначается , или , или ;

f ₄ – запрет первого аргумента. Обозначается , или , или ;

f ₆ – сумма по модулю два (функция неравнозначности). Обозначается ;

f ₇ – функция «ИЛИ» (логическое сложение, дизъюнкция). Обозначается f ₇ = x ₁ Ú x ₂ либо f ₇ = x ₁ + x ₂. Данная функция будет равна нулю только в том случае, если оба ее аргумента равны нулю. Во всех остальных случаях она равна единице;

f ₈ – функция «ИЛИ-НЕ» (функция Вебба). Она реализует операцию «стрелка Пирса». Обозначается ;

f ₉ – эквивалентность (функция равнозначности). Обозначается ;

f ₁₁ – импликация второго аргумента. Обозначается или ;

f ₁₃ – импликация первого аргумента. Обозначается или ;

f ₁₄ – функция «И-НЕ» (функция Шеффера). Она реализует операцию «штрих Шеффера». Обозначается

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

Табличный способ задания ФАЛ является достаточно универсальным, однако он обладает тем недостатком, что при большом числе аргументов ТИ становится излишне громоздкой.

Дата добавления: 2015-07-02