Логика – это наука о формах и способах мышления
2
Джордж Буль
(1815-1864)
основоположник математической логики
Алгебра логики
Основное понятие логики это ВЫСКАЗЫВАНИЕ
Высказывание – простое предложение (содержащие одну мысль), про которое можно сказать истинно оно или ложно.
Высказывания обозначаются именами логических переменных (A,B,C .. - прописными буквами латинского алфавита), которые могут принимать лишь два значения: «истина» (1) и «ложь» (0).
Например:
А = 1, В = 0
Алгебра логики изучает только истинность и ложность высказываний.
3
Какие из предложений являются высказыванием?
4
Жирафы летят на север.
Логические операции
Над высказываниями можно выполнять логические операции, используя логические связки «и», «или», «не»,
в результате получатся новые составные высказывания.
А=Сегодня идет дождь
В= Я возьму зонт
А и В = Сегодня идет дождь и я возьму зонт (составное высказывание)
5
Логические операции
А= Сегодня буду читать книгу
В= Сегодня буду с смотреть телевизор
А или В = Сегодня буду читать книгу или буду с смотреть телевизор
(составное высказывание)
А = Мой карандаш красного цвета
Не А = не верно, что мой карандаш красного цвета
6
1. Логическое умножение (конъюнкция)
7
Объединение двух (или нескольких) высказываний в одно с помощью союза «и».
Обозначение А&В , А В Читать А и В
Таблица истинности
A | B | AΛB |
0 | ||
1 | 0 | |
1 | 0 | |
Вывод: Составное высказывание истинно только тогда, когда истины оба простых высказывания.
2. Логическое сложение(дизъюнкция)
8
Объединение двух (или нескольких) высказываний в одно с помощью союза «или»
Обозначение АVВ , А В
Таблица истинности
A | B | AvB |
0 | ||
1 | ||
1 | 0 | 1 |
Вывод: Составное высказывание ложно только тогда, когда ложны оба простых высказывания
3. Логическое отрицание(инверсия)
Присоединение частицы «не» к высказыванию.
Обозначение Ā, ¬А
Таблица истинности
A | Ā |
0 | 1 |
1 | 0 |
Вывод: Отрицание делает истинное высказывание ложным и, наоборот
Логические выражения и таблицы истинности
10
Сложным логическим выражением называется выражение состоящие из одного или нескольких простых логических выражений связанных логическими операциями.
Задание: Запишите высказывание в виде логического выражения связанных логическими операциями.
Построение таблиц истинности
11
Для логического выражения можно построить таблицу истинности, которая определяет его истинность или ложность при всех возможных комбинациях исходных значений простых высказываний.
Порядок выполнения логических операций:
Действия в скобках. ()
Отрицание, НЕ
Умножение, И
Сложение, ИЛИ
Построение таблицы истинности
12
Определить количество строк в таблице по формуле 2n, где n – количество логических переменных.
Определить количество столбцов таблицы: = количество логических переменных + количество логических операций.
Установить порядок выполнения лог. операций
Построить таблицу истинности, обозначить столбцы, внести все возможные наборы исходных данных логических переменных.
Заполнить таблицу истинности
Логические элементы
Логический элемент (вентиль) - это электронное устройство, которое характеризуется наличием сигналов на входе и выходе элемента.
Название и условное обозначение логических элементов является стандартными и используются при составлении лог. схем ПК
Вентиль «И»
Конъюнктор
А
В
А Λ В
Правило вентиля «И»
1
1
1
Вентиль «ИЛИ»
Дизъюнктор
А
В
А V В
Правило вентиля «ИЛИ»
0
0
0
Вентиль «Не»
А
¬А
Правило вентиля «НЕ»
1
0
Построение логических схем
1. Определить число логических переменных = числу входов
2. Определить количество базовых логических операций и их порядок.
3. Изобразить для каждой логической операции её вентиль.
4. Соединить вентили в порядке выполнения логических операций.
Материалы на данной страницы взяты из открытых источников либо размещены пользователем в соответствии с договором-офертой сайта. Вы можете сообщить о нарушении.