Таблица истинности. Логические основы компьютера Базовые логические элементы Зойкин М. В. Учитель информатики и ИКТ МОУ СОШ 41
Таблицы истинности Решение логических выражений принято оформлять в виде таблиц, в которых по действиям показано, какие значения принимает логическое выражение при всех возможных наборах его переменных
Для составления таблицы истинности необходимо: 1. Выяснить количество строк (2 n, где n – количество переменных) 2. Выяснить количество столбцов (количество переменных + количество логических операций) 3. Построить таблицу, указывая названия столбцов и возможные наборы значений переменных 4. Заполнить таблицу истинности по столбцам
Пример 1. Построим таблицу истинности для функции F = (А В) ( ¬ A ¬ B) 1. Переменных: две (А и В), т.е. N = 2 количество строк: 2 n =2 2 =4. С заголовком: 5 2. Количество столбцов: 2 переменные + 5 операций (,, ¬, и ¬ ). Итого 7 3. Порядок операций: F = (А В) ( ¬ A ¬ B)
Пример 1. Таблица AB А В А В (А В) ( А В) F = (А В) (¬A ¬B)
Пример 2. Построим таблицу истинности для функции F = X Y ¬ Z 1. Переменных: три (X, Y и Z), т.е. n = 3 количество строк: 2 n =2 3 =8. С заголовком: 9 2. Количество столбцов: 3 переменные + 3 операции (,, ¬ ). Итого 6 3. Порядок операций: F = X Y ¬ Z
Пример. Таблица XYZ Z Y ¬Z X Y ¬Z F = X Y ¬Z
Базовые логические элементы Компьютер выполняет арифметические и логические операции при помощи т.н. базовых логических элементов, которые также еще называют вентилями. Вентиль «И» – конъюнктор. Реализует конъюнкцию. Вентиль «ИЛИ» – дизъюнктор. Реализует дизъюнкцию. Вентиль «НЕ» – инвертор. Реализует инверсию
Составные элементы Любая логическая операция может быть представлена через конъюнкцию, дизъюнкцию и инверсию Любой сколь угодно сложный элемент компьютера может быть сконструирован из элементарных вентилей
Сигналы-аргументы и сигналы-функции Вентили оперируют с электрическими импульсами: Импульс имеется – логический смысл сигнала «1» Импульса нет – логический смысл сигнала «0» На входы вентиля подаются импульсы – значения аргументов, на выходе вентиля появляется сигнал – значение функции
Логическая схема типа «И» (конъюнктор) 1 1=1 1 1 AB A B A В Электрическая цепь из двух последовательно подключенных выключателей
+- Логическая схема типа «ИЛИ» (дизъюнктор) 10 1v0=1 AB A B Электрическая цепь из двух параллельно подключенных выключателей
+- Логическая схема типа «НЕ» (инвертор) +- ¬1 = 0 1 A¬A¬A Электрическая цепь с одним автоматическим выключателем
Конъюнктор На входы конъюнктора подаются сигналы 0 или 1 На выходе конъюнктора появляются сигналы 0 или 1 в соответствии с таблицей истинности
Дизъюнктор На входы дизъюнктора подаются сигналы 0 или 1 На выходе дизъюнктора появляются сигналы 0 или 1 в соответствии с таблицей истинности
Инвеpтор На входы инвертора подаются сигналы 0 или 1 На выходе инвертора появляются сигналы 1 или 0 в соответствии с таблицей истинности
Сумматор двоичных чисел Любое математическое сколь угодно сложное выражение может быть представлено в виде последовательности элементарных математических операций Все математические действия в компьютере сводятся к сложению двоичных чисел Основу микропроцессора составляют сумматоры двоичных чисел
Полусумматор. Арифметическое сложение двоичных чисел В каждом разряде образуется сумма цифр в соответствующих разрядах слагаемых, при этом возможен перенос единицы в старший разряд Без переноса С переносом
Обозначим слагаемые через А и В, перенос – через Р, а сумму – через S Таблица сложения одноразрядных двоичных чисел: Слагаемые ПереносСумма АВРS Очевидно, что Р = А В
Получаем формулу для вычисления S Если сравнить А В c S: AB А В ABS то очевидно, что они практически идентичны. Чтобы равенство оказалось полным нужно выражение А В умножить на ¬Р
Получаем формулу для вычисления S S = (А В) ¬ P (А В) ¬ (A B) AB А ВA B ¬ (A B)(А В) ¬ (A B) Теперь, имея элементарные логические выражения, можно построить логическую схему устройства для сложения одноразрядных двоичных чисел (полусумматора)
Логическая схема двоичного полусумматора Полусумматор называется так, потому, что здесь не учитывается перенос единицы из младшего разряда И НЕ И ИЛИ А B А В ¬ (А В) (А В) ¬(A B)
Полный одноразрядный сумматор Должен иметь три входа (А, В и Р 0 ) и два выхода (S и P) Слагаемые ПереносыСумма ABP0P0 PS
Формула полного одноразрядного сумматора Р1 1 Р принимает значение 1 когда хотя бы две из трех переменных равны 1: Р = (А B) (A P 0 ) (B P 0 ) АВР 0 ¬Р Сумма равна произведению логического сложения (А, В и Р 0 ) на инвертированный перенос ¬Р: S = (А В Р 0 ) ¬Р АВР 0 1 Это выражение справедливо во всех случаях, кроме одного, когда А, В и Р 0 равны 1:
Формула полного одноразрядного сумматора 1 Правильное значение суммы – 1. Для ее получения необходимо полученное выражение сложить с произведением этих же переменных: S = (А В Р 0 ) ¬Р (А В Р 0 )
Многоразрядный сумматор Построен на основе полных одноразрядных сумматоров (по одному на каждый разряд), причем таким образом, чтобы выход (перенос) младшего сумматора был подключен ко входу старшего сумматора
Триггер Важнейшая структурная единица оперативной памяти и регистров процессора Состоит из двух логических элементов «ИЛИ» и двух логических элементов «НЕ»
Логическая схема триггера ИЛИ НЕ S RQ
Работа триггера S R00 В обычном состоянии на входы триггера S и R подан сигнал «0» и триггер хранит «0». 1S Q 1 При подаче сигнала «1» на вход S триггер принимает значение на выходе Q значение «1» 1R 0 При подаче сигнала «1» на вход R триггер возвращается в свое исходное состояние – хранит «0»