Слайды и текст доклада
Pic.1
ЛОГИЧЕСКИЕ ОСНОВЫ КОМПЬЮТЕРНОЙ ТЕХНИКИ Парамонов А. И.
Pic.3
Основные понятия алгебры логики АЛГЕБРА ЛОГИКИ – математический аппарат, с помощью которого записывают (кодируют), упрощают, вычисляют и преобразовывают логические высказывания. Логическое …
Pic.4
Логическая (двоичная, булева) переменная — это такая переменная, которая может принимать одно из двух значений: истина или ложь ( 1 (единица) или 0 (ноль), да или нет). Логические переменные …
Pic.5
Логическая константа — это такая постоянная величина, значением которой может быть истинно или ложно (да или нет, единица или ноль).
Pic.6
Логическая функция — это такая функция, которая может принимать одно из двух значений: истинно или ложно (да или нет, единица или ноль) в зависимости от текущих значений ее аргументов, в качестве …
Pic.7
Логическая (булева, переключательная) функция f, зависящая от n переменных x1,x2, … xn, принимает значения только 0 или 1. Булева функция – это функция, аргументы и значение которой принадлежат …
Pic.8
Логическая функция может быть одного (n = 1) или нескольких (n > 1) аргументов. Значение логической функции определяется комбинацией конкретных значений переменных, от которых она зависит. …
Pic.9
Булеву функцию от n переменных можно рассматривать как n-местную алгебраическую операцию на множестве B={0,1}. При этом алгебра <B;Ω>, где Ω – множество всевозможных булевых функций, называется …
Pic.10
Способы задания булевых функций словесным описанием; таблицей истинности; логическим выражением.
Pic.11
Таблица истинности является универсальным средством задания логической функции. Включает все наборы для заданного количества переменных, определяющих значение логической функции, с указанием …
Pic.12
Табличный способ предполагает, что в левой части будут записаны все возможные двоичные наборы длины n (комбинации значений переменных x1,x2, … xn), а в правой части будут представлены значения …
Pic.13
Пример таблицы истинности трех переменных
Pic.14
Логическая функция называется «полностью определенной», если для нее заданы значения по всем возможным наборам. Функция называется «частично определенной», если для некоторых наборов значения функции …
Pic.15
Пример таблицы истинности трех переменных
Pic.16
Булевы функции от большого числа переменных таблицей истинности задавать сложно (громоздко). Например, Для функции от 8 логических переменных необходимо 28 = 256 двоичных наборов. Для представления …
Pic.18
При аналитическом способе задания булевой функции используется формула, т. е. аналитическое выражение, построенное из операций булевой алгебры.
Pic.19
Логическое выражение – комбинация логических переменных и констант, связанных элементарными базовыми логическими функциями (или логическими операциями), которые могут разделяться скобками.
Pic.20
Набор элементарных логических операций, с помощью которых можно задать любую, сколь угодно сложную логическую функцию, называется функционально полной системой логических функций (ФПСЛФ). Иногда …
Pic.21
В качестве элементарных логических функций функционально полных систем этих функций используются функции одной или двух логических переменных.
Pic.22
Функции одной переменной
Pic.23
Функции одной переменной
Pic.24
Условные графические обозначения (УГО) логических элементов схем
Pic.25
Функции двух переменных
Pic.27
Функции двух переменных
Pic.28
Условные графические обозначения (УГО) логических элементов схем
Pic.29
Условные графические обозначения (УГО) логических элементов схем
Pic.30
Наиболее распространенной в алгебре логики является ФПСЛФ, которая в качестве базовых логических функций использует функцию одной переменной «НЕ» (функция отрицания) и две функции двух переменных: …
Pic.31
Из всех функций от двух переменных можно выделить еще так называемые «Стрелка Пирса» и «Штрих Шеффера». Они выступают как функционально полные системы и могут записываться в следующем виде:
Pic.32
УГО основных элементов базиса по стандарту milspec806B
Pic.33
Булева алгебра В алгебре логики выделяют целый раздел «алгебра Буля», посвященный булевому базису. В алгебре Буля логические выражения включают логические операции И, ИЛИ, НЕ, которые могут быть …
Pic.34
Джордж Буль – создатель алгебры логики
Pic.35
Булева алгебра При оценке значения логического выражения необходимо решить его для конкретного набора переменных. В алгебре Буля применяется следующая приоритетность выполнения операций: сначала …
Pic.36
Законы булевой алгебры:
Pic.37
Законы булевой алгебры:
Pic.38
Законы булевой алгебры:
Pic.39
Законы булевой алгебры:
Pic.40
Законы булевой алгебры:
Pic.41
Законы булевой алгебры:
Pic.42
Операции: С отрицаниями. С константами. Склеивания.
Pic.43
Литература по теме: Лысиков Б. Г. Арифметические и логические основы цифровых автоматов // Минск: Высшая школа, 1980. – 268 с. Савельев А. Я. Прикладная теория цифровых автоматов: учебник для вузов …
Скачать презентацию
Если вам понравился сайт и размещенные на нем материалы, пожалуйста, не забывайте поделиться этой страничкой в социальных сетях и с друзьями! Спасибо!