- •Логика
- •Преобразование кодов
- •Преобразование кодов
- •Таблицы истинности
- •Функции одной переменной
- •Буферы и преобразователи уровней
- •Буферы и преобразователи уровней
- •Инвертор
- •Функции двух переменных
- •Логическое умножение (конъюнкция)
- •Логическое умножение с отрицанием
- •Логическое сложение (дизъюнкция)
- •Логическое сложение с отрицанием
- •Исключающее ИЛИ (сложение по модулю 2)
- •Постулаты Булевой алгебры
- •Законы Булевой алгебры
03
Введение в комбинаторную логику.
Combinatory logic.
Логика
ЛОГИКА
Комбинаторная Последовательностная
Преобразование кодов |
Логика с памятью |
Преобразование кодов
|
|
|
|
|
|
Оригинальная часть. |
Стандартная часть. |
|
|
|
|
|
|
Входы |
|
Таблица истинности |
|
Выходы |
||
|
|
|
|
|
|
|
In ●●● |
I2 |
I1 |
I0 Qm ●●● Q2 |
Q1 Q0 |
||
0 |
|
0 |
0 |
0 |
|
|
0 |
|
0 |
0 |
1 |
|
|
0 |
|
0 |
1 |
0 |
|
|
2n строк |
0 |
1 |
1 |
|
|
|
0 |
|
|
|
|||
0 |
|
1 |
0 |
0 |
|
|
|
|
● |
|
● |
|
|
|
|
● |
|
● |
|
|
|
|
● |
|
● |
|
|
1 |
|
1 |
1 |
0 |
|
|
1 |
|
1 |
1 |
1 |
|
|
Преобразование кодов
Таблицы истинности
Преобразователь для 3 переменных
|
I2 |
I1 |
I0 Q |
|
|
0 |
0 |
0 |
|
|
0 |
0 |
1 |
|
|
0 |
1 |
0 |
|
|
0 |
1 |
1 |
|
|
1 |
0 |
0 |
|
|
1 |
0 |
1 |
|
|
1 |
1 |
0 |
|
Все комбинации входных сигналов. |
||||
|
|
|
||
Для n входов 2n строк. |
1 |
1 |
1 |
Определение функции
Функции одной переменной
I Q 0 1
I |
Q |
I |
Q |
I |
Q |
I |
Q |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
1 |
|
|
||||||
1 |
0 |
1 |
1 |
1 |
0 |
1 |
1 |
|
|
или
или
или
Буфер Инвертор
Буферы и преобразователи уровней
Буфер
Buffer
Увеличение нагрузочной способности
Пример: 7407
DIP14
SO14
6 элементов в одном корпусе
Буферы и преобразователи уровней
Преобразователи уровней Level shifter
Логические |
уровни |
Логические |
уровни |
|||
Out_0 |
0 |
÷ 0,1 В |
Out_0 |
0 |
÷ |
0,4 В |
Out_1 |
1,7 ÷ 1,8 В |
Out_1 |
2,4 |
÷ 5 В |
Пример: MC14504B
Инвертор
Единственная нетривиальная логическая функция от одной переменной
Таблица истинности |
Графическое |
|
(определение функции) |
||
обозначение |
||
|
I Q 0 1 1 0
или
Символ отрицания
Алгебраическое обозначение
Штрих Шеффера
Функции двух переменных
I1 I0 Q 0 0
|
|
|
|
0 |
1 |
|
|
|
|
1 |
0 |
|
|
|
|
1 |
1 |
|
|
|
|
|
|
I1 |
I0 |
Q |
I1 |
I0 |
Q |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
1 |
0 |
0 |
1 |
1 |
1 |
0 |
0 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
0 |
2AND 2NAND
Всего 24=16 функций. Нетривиальных и симметричных – 6.
I1 |
I0 |
Q |
I1 |
I0 |
Q |
|
I1 |
I0 |
Q |
I1 |
I0 |
Q |
0 |
0 |
0 |
0 |
0 |
1 |
|
0 |
0 |
0 |
0 |
0 |
1 |
0 |
1 |
1 |
0 |
1 |
0 |
|
0 |
1 |
1 |
0 |
1 |
0 |
1 |
0 |
1 |
1 |
0 |
0 |
|
1 |
0 |
1 |
1 |
0 |
0 |
1 |
1 |
1 |
1 |
1 |
0 |
|
1 |
1 |
0 |
1 |
1 |
1 |
|
2OR |
|
2NOR |
|
|
XOR |
|
NXOR |
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
Логическое умножение (конъюнкция)
B |
A |
Q |
0 |
0 |
0 |
0 |
1 |
0 |
1 |
0 |
0 |
1 |
1 |
1 |
Графическое |
Алгебраическое |
обозначение |
обозначение |
2И
2AND
С |
B |
A |
Q |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
1 |
0 |
0 |
0 |
1 |
1 |
0 |
1 |
0 |
0 |
0 |
1 |
0 |
1 |
0 |
1 |
1 |
0 |
0 |
1 |
1 |
1 |
1 |
Элементы с количеством входов больше двух
Графическое |
Алгебраическое |
обозначение |
обозначение |
3И
3AND