Вам бонус- начислено 1 монета за дневную активность. Сейчас у вас 1 монета

2: Логические основы алгебры логики кратко

Лекция



Привет, Вы узнаете о том , что такое алгебра логики, Разберем основные их виды и особенности использования. Еще будет много подробных примеров и описаний. Для того чтобы лучше понимать что такое алгебра логики , настоятельно рекомендую прочитать все из категории Цифровые устройства. Микропроцессоры и микроконтроллеры. принципы работы ЭВМ.

В лекции дается понятие булевой алгебры, описаны задачи анализа и синтеза. Дается описание элементарных функций одной и двух переменных. Представлены основные эквивалентности.

алгебра логики

Кроме обычной алгебры существует специальная, основы которой были заложены английским математиком XIX века Дж. Булем. Этаалгебра занимается так называемым исчислением высказываний.

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

При этом сама алгебра выступает в качестве модели устройства. Это означает, что работа произвольного устройства указанного типа может быть лишь в каком-то отношении описана с помощью построений этой алгебры. Действительное реальное устройство физически работает не так, как это описывает алгебра логики. Однако применение положений этой теории позволяет сделать ряд полезных в практическом отношении обобщений.

Рассмотрим некоторую схему и представим ее в виде так называемого "черного" ящика.

2: Логические основы алгебры логики

Будем считать, что внутреннее содержимое ящика неизвестно.

X1, X2, X3 – входные сигналы, F – выходной сигнал.

Считаем также, что схема А – элементарная, т.е. нет другой схемы Б, меньшей, чем А, которая бы содержалась в А.

Построим абстрактное устройство из элементарных устройств, типа А, Б, В и т.д. Очевидно, более сложное устройство можно построить из простых путей:

  1. последовательного соединения элементов;
  2. параллельного соединения;
  3. перестановки входов элементов.

2: Логические основы алгебры логики

Тогда роль Y1 для второго элемента Б будет играть:

2: Логические основы алгебры логики

Y1=FА(X1,X2,X3)
Y2=FБ(X1,X2)
F=F(Y1,Y2)=F(FА(X1,X2,X3),FБ(X1,X2))

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

В связи с этим, параллельное соединение элементов в алгебре логики не рассматривается.

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

Поэтому перестановка аргументов влияет на характер функции.

2: Логические основы алгебры логики

2: Логические основы алгебры логики

Таким образом, произвольные, сколь угодно сложные в логическом отношении схемы, можно строить, используя два приема:

  1. последовательное соединение элементов;
  2. перестановка входов элементов.

Этим двум физическим приемам в алгебре логики соответствуют:

  1. принцип суперпозиции (подстановка в функцию вместо ее аргументов других функций );
  2. подстановка аргументов (изменение порядка записи аргументов функций или замена одних аргументов функции другими).

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

Элементарные функции алгебры логики

Существует несколько синонимов по отношению к функциям алгебры логики:

  1. функции алгебры логики (ФАЛ);
  2. переключательные функции ;
  3. булевские функции ;
  4. двоичные функции.

По мере необходимости будем пользоваться всеми этими синонимами.

Рассмотрим некоторый набор аргументов:


 

и будем считать, что каждый из аргументов принимает только одно из двух возможных значений, независимо от других

Чему равно число различных наборов?

2: Логические основы алгебры логикиXi = {0, 1}

Поставим каждому набору в соответствие некоторое двоичное число:

X1,X2,...........Xn
0,  0,...........,0    нулевой набор
0,  0,...........,1    первый набор
0,  0,..........1,0    второй набор
...................
1,  1,...........,1    (2n-1)-ый набор

Очевидно, что количество различных X1,X2,...........Xn n -разрядных чисел в позиционной двоичной системе есть 2n.

Допустим, что некоторая функция F(X1,X2,....Xn) задана на этих наборах и на каждом из них она принимает либо ' 0 '-ое, либо ' 1 '-ое значение.

Такую функцию называют функцией алгебры логики или переключательной функцией.

Чему равно число различных переключательных функций ' n ' аргументов?

Т.к. функция на каждом наборе может принять значение ' 0 ' или ' 1 ', а всего различных наборов 2n, то общее число различныхфункций ' n ' аргументов есть: 2^2n.

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

Число аргументов 1 2 3 4 5 10
Число различных перекл. ф-ций 4 16 256 65536 ~4*10^9 ~10^300

Различные устройства ЭВМ содержат десятки и сотни переменных ( аргументов ), поэтому понятно, что число различных устройств, отличающихся друг от друга, практически бесконечно.

Итак, нужно научиться строить эти сложные функции (а стало быть, и устройства), а также анализировать их.

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

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

ФАЛ одного аргумента

Чтобы задать ФАЛ, нужно задать ее значения на всех наборах аргументов.

Аргумент Х значение Наименование функции
0 1
F0(x) 0 0 константа ' 0 '
F1(x) 0 1 переменная ' х '
F2(x) 1 0 инверсия ' х ' (отрицание х )
F3(x) 1 1 константа ' 1 '

Будем у функции ставить индекс, эквивалентный набору ее значений для соответствующих значений аргумента, начиная с0,0,....,n,..... Об этом говорит сайт https://intellect.icu . и т.д. в порядке возрастания.

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

Необходимо рассмотреть более сложные функции, т.е. ФАЛ 2х аргументов.

Дадим такие определения:

  1. ФАЛ, принимающие одинаковые значения на всех наборах аргументов, называются равными.
  2. ФАЛ существенно зависит от аргумента Хi, если

2: Логические основы алгебры логики

В противном случае она зависит не существенно, а соответствующий аргумент наз. фиктивным.

Например:

Х1 Х2 Х3 F(X1,X2,Х3)
0 0 0 0
0 0 1 0
0 1 0 1
0 1 1 1
1 0 0 0
1 0 1 0
1 1 0 1
1 1 1 1

Видно, что Х3 – фиктивный аргумент. Это показывает, что в функцию можно ввести любое число фиктивных аргументов, от которых она существенно не зависит. Этот прием в дальнейшем потребуется для выполнения ряда преобразований.

Все ФАЛ от 2-х аргументов. Сведем их в единую таблицу 2.1.

Таблица 2.1.
№функции Значение функции на наборах логических переменных Наименование функции Обозначение функции
X1 0 0 1 1
X2 0 1 0 1
f0(X1,X2) 0 0 0 0 Константа "ноль"
f(X1,X2)=0
f1(X1,X2) 0 0 0 1 Конъюнкция, произведение

2: Логические основы алгебры логики

f2(X1,X2) 0 0 1 0 Запрет по X2

2: Логические основы алгебры логики

f3(X1,X2) 0 0 1 1 Переменная X1
f(X1,X2)= X1
f4(X1,X2) 0 1 0 0 Запрет по X1

2: Логические основы алгебры логики

f5(X1,X2) 0 1 0 1 Переменная X2
f(X1,X2)= X2
f6(X1,X2) 0 1 1 0 Сложение по mod2(неравнозначность)

2: Логические основы алгебры логики

f7(X1,X2) 0 1 1 1 Дизъюнкция

2: Логические основы алгебры логики

f8(X1,X2) 1 0 0 0 Стрелка Пирса

2: Логические основы алгебры логики

f9(X1,X2) 1 0 0 1 Равнозначность

2: Логические основы алгебры логики

f10(X1,X2) 1 0 1 0 Инверсия X2
f(X1, X2)=¬X2
f(X1, X2)=X2

f11(X1,X2) 1 0 1 1 Импликация от X2 к X1
f(X1, X2)= X2 -> X1
f12(X1,X2) 1 1 0 0 Инверсия X1
f(X1, X2)=¬X1
f(X1, X2) = X1
f13(X1,X2) 1 1 0 1 Импликация от X1 к X2
f(X1, X2)= X1 -> X2

f14(X1,X2) 1 1 1 0 Штрих Шеффера
f(X1, X2)= X1|X2
f15(X1,X2) 1 1 1 1 Константа "единица"
f(X1, X2)=1

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

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

Например:

В=<один плюс один - два>

есть истинное высказывание.

Рассмотрим, какое смысловое содержание можно вложить в некоторые сложные высказывания на примере ФАЛ 2-х аргументов.

Инверсия

Читается НЕ Х или Х с чертой, отрицание Х.

Возьмем, например, такое высказывание: А=<Собака - это птица>, тогда сложное высказывание НЕ А означает: не верно, что А, т.е. не верно, что <собака - это птица>.

Из простых высказываний можно строить более сложные, применяя так называемые связи.

Логические связи – это ФАЛ, аргументами которых являются простые высказывания.

Конъюнкция

Возьмем 2 высказывания:

А=<Молоко – это жидкость>
В=<белый это светый цвет>

тогда сложное высказывание: А & В будет истинным, так как истинны оба этих высказывания.

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

X1 X2 f1(X1,X2)
0 0 0
0 1 0
1 0 0
1 1 1

Функция конъюнкции истинна тогда, когда истинны одновременно оба высказывания.

2: Логические основы алгебры логики

Дизъюнкция

Это сложное высказывание истинно тогда, когда истинно хотя бы одно высказывание, входящее в него.

X1 X2 f1(X1,X2)
0 0 0
0 1 1
1 0 1
1 1 1

Читается X1 ИЛИ X2: Некоторое отличие от смысла союза "или", принятого в русском языке:

в данном случае этот союз употребляется в смысле объединения, а не разъединения.

2: Логические основы алгебры логики

Логическая равнозначность

Это сложное высказывание истинно тогда, когда истинны или ложны одновременно оба высказывания.

Отсюда следует, что вне зависимости от смысла, равнозначными являются как истинные, так и ложные высказывания.

Например,

А=<у котов есть крылья>
B=<вода- сухая>
А~В равнозначны.

Импликация

Это сложное высказывание ложно только тогда, когда X1 – истинно, а X2 – ложно.

X1 X2 f1(X1,X2)
0 0 1
0 1 1
1 0 0
1 1 1

Читается: если X1, то X2. При этом X1 – посылка, X2 – следствие.

Если посмотреть на таблицу истинности, то может показаться странным название этой функции, т.к

. из него следует, что истинным может быть высказывание, составленное из двух ложных.

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

Тогда из ложной посылки может следовать ложное следствие и это можно считать верным:

<если у котов – есть крылья>,
то < у круга есть углы>.

Эквивалентности

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

Дизъюнкция:

2: Логические основы алгебры логики

т.е. истинность высказывания не изменится, если его заменить более коротким, таким образом, это правило приведения подобных членов:

x v x = 1

2: Логические основы алгебры логики

– постоянно истинное высказывание.

2: Логические основы алгебры логики

- (переместительный) коммуникативный закон.

2: Логические основы алгебры логики

- сочетательный закон.

Конъюнкция:

2: Логические основы алгебры логики

правило приведения подобных членов:

2: Логические основы алгебры логики

2: Логические основы алгебры логики - постоянно ложное высказывание

2: Логические основы алгебры логики - постоянно ложное высказывание

Сложение по mod 2 по модулю два

2: Логические основы алгебры логики

2: Логические основы алгебры логики – при нечетном числе членов, 0 - при четном числе членов

Правило де Моргана

2: Логические основы алгебры логики

Докажем для двух переменных с помощью таблицы истинности:

Х1 Х2 2: Логические основы алгебры логики X1 & X2
0 0 1 1
0 1 1 1
1 0 1 1
1 1 0 0

Операция поглощения:

2: Логические основы алгебры логики или в общем виде 2: Логические основы алгебры логики

Операция полного склеивания:

2: Логические основы алгебры логики

Операция неполного склеивания:

2: Логические основы алгебры логики

Закон поглощения: K12: Логические основы алгебры логики K1K2= K1.

Закон склеивания: x K 2: Логические основы алгебры логики x K = K.

Закон неполного склеивания: x K 2: Логические основы алгебры логики x K = x K 2: Логические основы алгебры логики x K 2: Логические основы алгебры логики K.

Закон обобщенного склеивания: x K12: Логические основы алгебры логики x K2= x K12: Логические основы алгебры логики x K22: Логические основы алгебры логики K1K2.

Очевидно, что закон неполного склеивания следует из закона обобщенного склеивания (при K1=K2=K), а закон склеивания – из закона неполного склеивания (если в последнем выполнить поглощения конъюнкций).

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

Закон поглощения говорит о том, что если объединение двух интервалов I и I' совпадает с I, то интервал I' содержится в интервале I (поглощается им). Значит, поглощаемый вектор должен получаться из поглощающего заменой некоторых его внутренних компонент ( –) на внешние (0 или 1).

сведем основные логические операции в таблицу и покажем их эквивалентную интрерпритацию на диаграммах Эйера- Вена

2: Логические основы алгебры логики

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

создано: 2016-04-15
обновлено: 2020-12-29
132430



Рейтиг 9 of 10. count vote: 2
Вы довольны ?:


Найди готовое или заработай

С нашими удобными сервисами без комиссии*

Как это работает? | Узнать цену?

Найти исполнителя
$0 / весь год.
  • У вас есть задание, но нет времени его делать
  • Вы хотите найти профессионала для выплнения задания
  • Возможно примерение функции гаранта на сделку
  • Приорететная поддержка
  • идеально подходит для студентов, у которых нет времени для решения заданий
Готовое решение
$0 / весь год.
  • Вы можите продать(исполнителем) или купить(заказчиком) готовое решение
  • Вам предоставят готовое решение
  • Будет предоставлено в минимальные сроки т.к. задание уже готовое
  • Вы получите базовую гарантию 8 дней
  • Вы можете заработать на материалах
  • подходит как для студентов так и для преподавателей
Я исполнитель
$0 / весь год.
  • Вы профессионал своего дела
  • У вас есть опыт и желание зарабатывать
  • Вы хотите помочь в решении задач или написании работ
  • Возможно примерение функции гаранта на сделку
  • подходит для опытных студентов так и для преподавателей



Комментарии


Оставить комментарий
Если у вас есть какое-либо предложение, идея, благодарность или комментарий, не стесняйтесь писать. Мы очень ценим отзывы и рады услышать ваше мнение.
To reply

Цифровые устройства. Микропроцессоры и микроконтроллеры. принципы работы ЭВМ

Термины: Цифровые устройства. Микропроцессоры и микроконтроллеры. принципы работы ЭВМ