Основные функции алгебры логики

Функции алгебры логики одной переменной. Пример равносильных вариантов аналитической записи функции f1(x). Пример технической реализации функции f6(x) на контактах электромагнитных реле. Построение дискретного устройства. Релейно-контактная схема.

Рубрика Математика
Вид лекция
Язык русский
Дата добавления 15.11.2017
Размер файла 238,6 K

Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже

Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.

Размещено на http://www.allbest.ru/

1. Основные функции алгебры логики

Функции алгебры логики одной переменной.

Количество ФАЛ одной переменной х равно 4. Представим обобщенную таблицу истинности для каждой из четырех функций в виде табл. 1.

Таблица 1

х

f0(x)

f1(x)

f2(x)

f3(x)

0

0

0

1

1

1

0

1

0

1

Функция f0(x) независимо от значения переменной х принимает нулевой значение и поэтому называется функцией тождественно равной 0: f0(x) = 0.

Функция f3(x) независимо от значения переменной х принимает единичное значение и поэтому называется функцией тождественно равной 1: f3(x) = 1.

Значения функции f1(x) совпадают со значением входной переменной х, поэтому эта функция называется функцией повторения: f1(x) = х.

Значения функции f2(x) противоположны значениям переменной х, поэтому эта функция называется инверсной функцией или функцией отрицания: f1(x) = .

Рассмотрим примеры реализации этих функций на логических элементах, принимая во внимание, что в большинстве случаев сигналу лог.0 соответствует низкий потенциал, а сигналу лог. 1 - высокий потенциал.

На рис. 17, а представлен вариант реализации функций тождественно равных 0 и 1 за счет подключения выходных шин непосредственно к источникам высокого (+U) и низкого потенциала (общий провод). На рис. 17, б представлен вариант реализации функции повторения f1(x) за счет подключения выходной шины непосредственно к источнику входного сигнала х и функции отрицания f2(x) за счет подачи входного сигнала х на логический элемент НЕ, реализующий функцию инверсии входного сигнала. В качестве элемента НЕ может быть использован транзистор, включенный по схеме с общим эмиттером (см. рис. 1, а).

Рис. 1

При использовании электромагнитных реле функция f0(x) формируется разрывом электрической цепи, рис. 18, а. Функция f3(x) формируется за счет короткого замыкания фронтового контакта реле в электрической цепи, рис. 18, б. Функция f1(x) может быть реализована использованием в электрической цепи фронтового контакта у реле Y, на обмотку которого подается входной сигнал х, рис. 2, в. Функция f2(x) реализуется посредством включения в электрическую цепь тылового контакта реле Y, на обмотку которого подается входной сигнал х, рис. 2, г.

Рис. 2

Функции алгебры логики двух переменных.

Количество различных наборов значений двух переменных равно 4, следовательно, количество разных ФАЛ, которые можно реализовать на этих наборах, равно 24 = 16.

Представим обобщенную таблицу истинности для каждой из шестнадцати функций в виде табл. 2.

Таблица 2

х2

х1

Обозначение функций

0

&

?

х2

?

х1

v

v

~

>

>

?

1

f0

f1

f2

f3

f4

f5

f6

f7

f8

f9

f10

f11

f12

f13

f14

f15

0

0

0

0

0

0

0

0

0

0

1

1

1

1

1

1

1

1

0

1

0

0

0

0

1

1

1

1

0

0

0

0

1

1

1

1

1

0

0

0

1

1

0

0

1

1

0

0

1

1

0

0

1

1

1

1

0

1

0

1

0

1

0

1

0

1

0

1

0

1

0

1

В число шестнадцати ФАЛ входят функции тождественно равные 0 и 1; функции повторения значений входных переменных х1 и х2; функции - инверсии значений входных переменных:

f0(x) = 0; f3(x) = х2; f5(x) = х1; f10(x) = ; f12(x) = ; f15(x) = 1.

Функция f1(x) соответствует логической операции И, называемой часто конъюнкцией или логическим умножением. Функция принимает единичное значение тогда, когда обе переменные равны 1.

Пример равносильных вариантов аналитической записи функции f1(x):

f1(x) = х2•х1 = х2?х1 = х2&x1.

Пример технической реализации функции f1(x) на контактах электромагнитных реле.

Рис. 3

Функция f2(x) соответствует логической операции запрета. Функция повторяет значение входного сигнала х2 тогда, когда х1 = 0 (снятие запрета со стороны переменной х1 на пропуск через ключ единичного значения входного сигнала х2).

Пример равносильных вариантов аналитической записи функции f2(x):

f2(x) = х2?х1 = х2• = х2? = х2&.

Функция f4(x) также соответствует логической операции запрета. Однако данная функция повторяет уже значение входного сигнала х1 тогда, когда х2 = 0 (снятие запрета со стороны переменной х2 на пропуск через ключ единичного значения входного сигнала х1).

Пример равносильных вариантов аналитической записи функции f4(x):

f4(x) = х1?х2 = •х1 = ?х1 = &х1.

Пример технической реализации функций f2(x) и f4(x) на контактах электромагнитных реле.

Рис. 4

Функция f6(x) соответствует логической операции «сложение по модулю 2». Это наиболее употребительная логическая операция, применяемая в таких дискретных устройствах, как сумматоры, осуществляющие операции сложения двоичных чисел, и кодеры или декодеры, осуществляющие кодирование или декодирование информации. Функция f6(x) принимает единичное значение при условии неравенства значений переменных х1 и х2.

Пример равносильных вариантов аналитической записи функции f6(x):

f6(x) = х2х1 = х2••х1 = х2• + •х1.

В приведенном выражении знаки и + есть условные обозначения логической операции сложения.

Пример технической реализации функции f6(x) на контактах электромагнитных реле.

Рис. 5

Функция f7(x) соответствует логической операции ИЛИ, называемой часто дизъюнкцией или логическим сложением. Функция принимает единичное значение тогда, когда хотя бы одна из переменных равна 1.

Пример равносильных вариантов аналитической записи функции f7(x):

f7(x) = х2 + х1 = х2 х1 = х2• + •х1 + х2•х1.

Пример технической реализации функции f7(x) на контактах электромагнитных реле.

Рис. 6

Функция f8(x) соответствует логической операции «отрицание ИЛИ», называемой функцией (ИЛИ НЕ) или функцией «стрелка Пирса». Данная функция принимает единичное значение тогда, когда обе переменные принимают нулевое значение.

Пример равносильных вариантов аналитической записи функции f8(x):

f8(x) = = = х2 v х1.

Пример технической реализации функции f8(x) на контактах электромагнитных реле.

Рис. 7

Функция f9(x) соответствует логической операции «эквивалентность». Данная функция принимает единичное значение при условии, что значения обеих переменных имеют одинаковые значения. Функция эквивалентности может применяться в дискретных устройствах, выполняющих функцию сравнения двоичных чисел. Функция f9(x) является инверсной по отношению к функции f6(x) «сложение по модулю 2».

Пример равносильных вариантов аналитической записи функции f9(x):

f9(x) = = + х2•х1 = (х2 +) • (+ х1).

Пример технической реализации функции f9(x) на контактах электромагнитных реле.

Рис. 8

Функции f11(x) и f13(x) соответствуют логической операции «импликация». Функция f11(x) принимает единичное значение во всех случаях, кроме одного, когда х2 = 0, а х1 = 1. Таким образом, функция f11(x) при х1 = 1 повторяет значение входного сигнала х2, а при х1 = 0 - функция становится тождественно равной 1.

Функция f13(x) принимает единичное значение во всех случаях, кроме одного, когда х2 = 1, а х1 = 0. Таким образом, функция f13(x) при х2 = 1 повторяет значение входного сигнала х1, а при х2 = 0 - функция становится тождественно равной 1.

Пример равносильных вариантов аналитической записи функций f11(x) и f13(x):

f11(x) = х1 > х2 = х2 +;

f13(x) = х2 > х1 = + х1.

Пример технической реализации функций f11(x) и f13(x) на контактах электромагнитных реле.

Рис. 9

Функция f14(x) соответствует логической операции «отрицание И», называемой функцией (И НЕ) или функцией «штрих Шеффера». Данная функция принимает нулевое значение тогда, когда обе переменные принимают единичное значение.

Пример равносильных вариантов аналитической записи функции f14(x):

f14(x) = = = х2 ¦ х1.

Пример технической реализации функции f14(x) на контактах электромагнитных реле.

Рис. 10

На этапе структурного синтеза дискретных устройств автоматики и телемеханики используются следующие условные обозначения логических элементов, реализующих некоторые элементарные функции алгебры логики от двух переменных, рис. 10.

Рис. 11

Задачи для самостоятельного решения

1. Сколько функций алгебры логики можно реализовать на наборах из трех и четырех переменных. Ответ: 256 и 65536.

2. Дискретное устройство реализует следующую ФАЛ:

у = х1•х2•(х3 + х4) + .

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

Ответ: 7 (3 элемента И, 2 элемента ИЛИ, 1 элемент ИЛИ-НЕ и 1 элемент - импликатор).

3. Построить структурную схему дискретного устройства из задачи 2, используя 7 логических элементов на два входа. Ответ:

Рис. 12

4. Ниже на рисунке представлена структурная схема некоторого дискретного устройства, составлена из элементарных логических элементов на два входа. Составить аналитическое выражение для ФАЛ, реализуемой данным дискретным устройством, и дать пояснение к этой функции.

Рис. 13

переменная функция электромагнитный реле

Ответ: у = х2• + •х1. Реализуемая дискретным устройством ФАЛ - есть логическая операция «сложение по модулю 2».

5. Построить релейно-контактную схему, реализующую следующую ФАЛ:

у = х1•х2•(х3 + х4)

Рис. 14

6. Ниже на рисунке представлена релейно-контактная схема, реализующая некоторую логическую функцию у.

Рис. 15

Составить аналитическое выражение для логической функции у, реализуемой фронтовым контактом реле Y. Ответ: у = .

Размещено на Allbest.ru

...

Подобные документы

  • Основные аксиомы и тождества алгебры логики. Аналитическая форма представления булевых функций. Элементарные функции алгебры логики. Функции алгебры логики одного аргумента и формы ее реализации. Свойства, особенности и виды логических операций.

    реферат [63,3 K], добавлен 06.12.2010

  • Элементы аналитической геометрии и линейной алгебры. Методы построения графика функции. Предел и непрерывность функции. Дифференциальное исчисление функции одной переменной. Определители и системы уравнений. Построение прямой и плоскости в пространстве.

    методичка [1,0 M], добавлен 24.08.2009

  • Операции над логическими высказываниями: булевы функции и выражение одних таких зависимостей через другие. Пропозициональные формулы и некоторые законы логики высказываний. Перевод выражений естественного языка на символическую речь алгебры логики.

    контрольная работа [83,3 K], добавлен 26.04.2011

  • Основные понятия алгебры логики. Дизъюнктивные и конъюнктивные нормальные формы. Сущность теоремы Шеннона. Булевы функции двух переменных. Последовательное и параллельное соединение двух выключателей. Свойства элементарных функций алгебры логики.

    контрольная работа [345,3 K], добавлен 29.11.2010

  • Логическая переменная в алгебре логики. Логические операции: отрицание, конъюнкция, дизъюнкция, импликация, эквивалентность. Основные законы алгебры логики. Правила минимизации логической функции (избавление от операций импликации и эквивалентности).

    курсовая работа [857,2 K], добавлен 16.01.2012

  • Свойства операций над множествами. Формулы алгебры высказываний. Функции алгебры логики. Существенные и фиктивные переменные. Проверка правильности рассуждений. Алгебра высказываний и релейно-контактные схемы. Способы задания графа. Матрицы для графов.

    учебное пособие [1,5 M], добавлен 27.10.2013

  • Составление таблицы значений функции алгебры логики и нахождение всех существенных переменных. Связный ориентированный и взвешенный граф. Построение функции полиномом Жегалкина. Текст программы для алгоритма Дейкстры. Определение единиц и нулей функции.

    контрольная работа [43,2 K], добавлен 27.04.2011

  • Логика - наука о законах и формах мышления, а основное понятие алгебры логики - высказывание. Основные понятия и тождества булевой алгебры. Изучение методов минимизации булевых функций. Метод Квайна, основанный на применении двух основных соотношений.

    контрольная работа [178,2 K], добавлен 20.01.2011

  • Понятие алгебры логики, ее сущность и особенности, основные понятия и определения, предмет и методика изучения. Законы алгебры логики и следствия из них, методы построения формул по заданной таблице истинности. Формы представления булевых функций.

    учебное пособие [702,6 K], добавлен 29.04.2009

  • Булевы алгебры – решетки особого типа, применяемые при исследовании логики (как логики человеческого мышления, так и цифровой компьютерной логики), а также переключательных схем. Минимальные формы булевых многочленов. Теоремы абстрактной булевой алгебры.

    курсовая работа [64,7 K], добавлен 12.05.2009

  • Основные определения математической логики, булевы и эквивалентные функции. Общие понятия булевой алгебры. Алгебра Жегалкина: высказывания и предикаты. Определение формальной теории. Элементы теории алгоритмов, рекурсивные функции, машина Тьюринга.

    курс лекций [651,0 K], добавлен 08.08.2011

  • Составление таблицы истинности. Получение уравнений функций алгебры логики для заданных выходов. Реализация схемы логического автомата на электромагнитных реле РП-23, на диодной матрице. Реализация структурной схемы логического автомата, на микросхемах.

    курсовая работа [862,4 K], добавлен 12.12.2012

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

    презентация [67,8 K], добавлен 23.12.2012

  • Элементы линейной алгебры. Дифференциальное и интегральное исчисление функции одной переменной. Биномиальный закон распределения. Комбинаторные формулы. Статистическое определение вероятности. Формула полной вероятности. Дискретные случайные величины.

    творческая работа [686,3 K], добавлен 30.04.2009

  • Элементы линейной алгебры. Элементы аналитической геометрии и векторной алгебры. Введение в математический анализ. Дифференциальное исчисление функций одной переменной. Дифференциальное исчисление функций нескольких независимых переменных. Интеграл.

    методичка [90,5 K], добавлен 02.11.2008

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

    лабораторная работа [83,6 K], добавлен 26.11.2011

  • Методы нахождения минимума функции одной переменной и функции многих переменных. Разработка программного обеспечения вычисления локального минимума функции Химмельблау методом покоординатного спуска. Поиск минимума функции методом золотого сечения.

    курсовая работа [95,1 K], добавлен 12.10.2009

  • Методика и основные этапы нахождения производной функции. Исследование методами дифференциального исчисления и построение графика функции. Порядок определения экстремумов функции. Вычисление неопределенных и определенных интегралов заменой переменной.

    контрольная работа [84,3 K], добавлен 01.05.2010

  • Определение формулы исчисления высказываний, основные цели математической логики. Построение формул алгебры высказываний. Равносильность формул исчисления высказываний, конъюнктивная и дизъюнктивная нормальная форма. Постановка проблемы разрешимости.

    контрольная работа [34,3 K], добавлен 12.08.2010

  • Свойства множества Кантора. Исследование заданной функции на непрерывность. Выражение множества B (кладбище Серпинского) и D (гребёнка Кантора) через множество Кантора. Свойства и построение всюду непрерывной, но нигде не дифференцируемой функции.

    курсовая работа [1,1 M], добавлен 24.06.2015

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу.