2.Правила и законы Булевой алгебры

Закон де Моргана: Инверсия конъюнкций равна дизъюнкции инверсий. Четыре формы записи закона де Моргана:

	И	ИЛИ
Повторение	XX=X	X+X=X
	0X=0 1X=X	0+X=X 1+X=1
Отрицание
Коммутативный закон	X1X2=X2X1	X1+X2=X2+X1
Ассоциативный закон	X1X2X3=X1(X2X3)	X1+X2+X3=X1+(X2+X3)
Склеивание	(X1+X2)(X1+ )=X1	X1X2+X1 =X1
Поглощение	X1(X1+X2)=X1	X1+X1X2=X1
Дистрибутивный закон	X1(X2+X3)=X1X2+X1X3	X1+X2X3=(X1+X2)(X1+X3)

Докажем некоторые из этих соотношений:

3. Реализация основных логических операций и, или, не на базе логических элементов и-не, или-не.

Элементы «2И–НЕ» и «2ИЛИ–НЕ» называются базовыми логическими элементами. Используя перечисленные элементы можно создать любое устройство.

Правило записи переключательной функции по таблице истинности

Рассмотрим для примера таблицу истинности элемента «ИЛИ».

X1	X2	Y
0	0	0
0	1	1
1	0	1
1	1	1

Общее правило формулируется так:

1 Выделяют строки, в которых Y принимает единичное значение.

2 Для каждой из выделенных строк составляют минтерм – частное произведение всех входных переменных или их отрицаний. Причем X_i входит в минтерм без знака инверсии, если в выделенной строке X_i=1 и со знаком инверсии в противном случае.

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

4 Осуществляют минимизацию одним из известных методов и получают минимизированную дизъюнктивно-нормальную форму записи переключательной функции. Схемотехнической реализации подлежит только МНДФ.

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

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

Комбинационные логические схемы.

Комбинационные логические схемы – схемы, выходной сигнал которых в рассматриваемый момент времени зависит от комбинации входных сигналов в этот момент времени.

8. Логический элемент ИСКЛЮЧАЮЩЕЕ ИЛИ: схемная реализация на базовых логических элементах.

x1	x2	y
0	0	0
0	1	1
1	0	1
1	1	0

x₁

x₁

y y

x₂ x₂

x₁

x₂

y