Переключательные функции одного и двух переменных

Лабораторная работа № 1

ЛОГИЧЕСКИЕ ОСНОВЫ ИНФОРМАТИКИ.

ПОСТРОЕНИЕ КОМБИНАЦИОННЫХ СХЕМ

НА ЛОГИЧЕСКИХ ЭЛЕМЕНТАХ

Цель работы. Изучение переключательных функций 1-го и 2-х аргументов и комбинационных схем на логических элементах

Переключательные функции

Переключательной (или булевой) функцией (ПФ) называется функция, способная принимать лишь два значения 0 и 1, и такая, что все ее аргументы также могут принимать только два значения 0 и 1.

Любая ПФ может быть задана таблицей ее значений в зависимости от значений ее аргументов. Эту таблицу называют таблицей истинности ПФ.

Пример 1.1. Зададим ПФ трех аргументов f(x1, x2, x3). Так как каждый из аргументов принимает лишь 2 значения, поэтому мы имеем 8 различных комбинаций 3 переменных. Эти комбинации называют наборами. Наборы обычно пишут в так называемом естественном порядке, когда наборы принимают значения (000), (001), …, (111). Для получения следующего набора прибавляют 1 к правому разряду – применяется как бы сложение чисел.

Наборам присваивается номер, равный двоичному числу, соответствующему данному набору. Сопоставляя каждому набору одно из двух значений ПФ, мы и получим таблицу истинности (например, представленную в табл. 1).

Таблица 1

х1 х2 х3 f

Переключательные функции одного и двух переменных

Рассмотрим некоторые ПФ одного и двух аргументов. В табл.2 представлены все 4 функции одного аргумента. Таблица 2

x f0(x) f1(x) f2(x) f3(x)

Функция f0 (x) равно нулю (константа нуля), f3(x) равна единице (константа единицы), функция f1(x) повторяет значение аргумента, т.е. f1(x) = x. Наиболее интересной и имеющей важное значение является функция f2(x), которая принимает значения, обратные значению аргумента – логическое отрицание или функция НЕ и обозначается как:

= ù х (читается не х).

Все ПФ двух аргументов приведены в табл.3.

Таблица 3

х1 х2 f0 f1 f2 f3 f4 f5 f6 f7 f8 f9 f10 f11 f12 f13 f14 f15

Функции f0(x1,x2) и f15(x1,x2) не зависят от значений аргументов: f0(x1,x2)=0 и f15(x1,x2)=1. Функции f3(x1,x2), f5(x1, x2), f10(x1,x2) и f12(x1,x2) являются фактически функциями одного аргумента:

f3(x1,x2)=x1, f5(x1,x2)=x2, f10(x1,x2)=x2 и f12(x1,x2)=x1.

Рассмотрим часто встречающиеся ПФ. Функция f1(x1,x2) реализует операцию конъюнкции или логического произведения. Как видим из табл. 3, функция f1(x1,x2) равна 1, когда и x1 и x2 равны 1. Конъюнкция обозначается как

f1(x1,x2)=x1 & x2 = x1 Ù x2 = x1 x2 (читается x1 и x2).

Функция f7(x1,x2) реализует операцию дизъюнкцию или логического сложения. Функция равна 1, когда или x1 или x2 равны 1. Дизъюнкция обозначается как

f7(x1,x2)=x1 Ú x2.

Функция f14(x1,x2) реализует операцию отрицания конъюнкции. Из табл. 3 видно, что когда конъюнкция f1(x1,x1) равна 0, то функция f14(x1,x2) равна 1, а если f1(x1, x2) равна1, то f14(x1,x2) равна 0, т.е. f14(x1,x2)=f1(x1,x2). Эта операция получила название “штрих Шеффера” и обозначается различными способами:

 
 

Функция f8(x1, x2) реализует операцию отрицания дизъюнкции. По аналогии с функцией отрицания конъюнкции, из табл.3 видно, что f8(x1, x2)=f7(x1, x2). Эта операция также получила отдельное название – “стрелка Пирса” и обозначается следующим образом:

       
 
 
   

Функция f6(x1, x2) реализует операцию логической неравнозначности или еще ее называют суммой по модулю два. ПФ равна 1, если аргументы x1 и x2 не равны между собой.

Остальные ПФ двух аргументов рассматривать пока не будем.

Логические элементы

Рассмотрим некоторые логические элементы с одним и двумя входами, реализующие ПФ от одного и двух аргументов.

Логический элемент НЕ (инвертор). Условное обозначение элемента НЕ представлено на рис. 1:

Рис.1. Обозначение логического элемента НЕ

Операция дизъюнкции y = x1 v x2 v ... v xn, n 2, выполняется элементом ИЛИ. Сигнал на выходе элемента ИЛИ принимает значение 0 только в том случае, если ни один из входных сигналов не имеет в данный момент времени значения 1. Условное обозначение элемента ИЛИ представлено на рис. 2:

Рис.2. Обозначение логического элемента ИЛИ

Операция конъюнкции y = x1 x2 ... xn, n 2, выполняется элементом И, сигнал на выходе которого равен 1, если все входные сигналы одновременно равны 1. Условное обозначение элемента И представлено на рис. 3:

Рис.3. Обозначение логического элемента И

Операцию отрицания дизъюнкции реализует элемент ИЛИ-НЕ, представляющий собой последовательное соединение элемента ИЛИ с элементом НЕ. Условное обозначение элемента ИЛИ-НЕ представлено на рис. 4.

Рис.4. Обозначение элемента ИЛИ-НЕ

Операцию отрицания конъюнкции реализует элемент И-НЕ, представляющий собой последовательное соединение элемента И с элементом НЕ. Условное обозначение элемента И-НЕ представлено на рис. 5:

Рис.5. Обозначение элемента И-НЕ

Наши рекомендации