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