Алгебра логики Логические элементы Учитель: Щербинина М. В 05. 02. 2018 1
Логика - это наука о формах и способах мышления. 4 Высказывание -это форма мышления, которой что-либо утверждается или отрицается о реальных предметах, их свойствах и отношениях между ними. 4 Высказывание может быть истинно или ложно. 05. 02. 2018 2
В алгебре высказываний высказывания обозначаются именами логических переменных, которые могут принимать лишь два значения «истинно» и «ложно» . Истинно =1 Ложно=0 05. 02. 2018 3
Для образования новых высказываний используются базовые логические операции: 4 логическое отрицание -операция «не» - инверсия 4 логическое умножение - операция «и» - конъюнкция 4 логическое сложение - операция «или» - дизъюнкция 05. 02. 2018 4
Логическое отрицание -операция «не» - инверсия А 05. 02. 2018 А НЕ 5
Логическое умножение операция «и» - конъюнкция А В 05. 02. 2018 C=A&B И С 6
Логическое сложение операция «или» - дизъюнкция А В 05. 02. 2018 ИЛИ С C=A۷B 7
Пример № 1 или 05. 02. 2018 не 8
Пример № 2 1 2 И И НЕ вых И Л И 05. 02. 2018 9
Пример № 3 И И Л И 05. 02. 2018 Н Е И И И Н Е 10
Пример№ 6 И НЕ И Л И 05. 02. 2018 11
Домашнее задание: пример№ 1 И И Л НЕ И Л И И 05. 02. 2018 12
Домашнее задание: пример№ 2 И И И Л И НЕ 05. 02. 2018 13
И Пример№ 5 Л И И НЕ Л И 05. 02. 2018 14
Пример№ 4 И И И Л НЕ И И Л И 05. 02. 2018 Л И 15
Пример № 7 И И НЕ Л И И 05. 02. 2018 И НЕ 1 0 0 1 1 2 0 1 вых 1 1 1 0 16
Полусумматор двоичных чисел A (0, 0, 1, 1) B (0, 1, 0, 1) Р (0, 0, 0, 1) И 0, 0, 0, 1 НЕ ИЛИ 1, 1, 1, 0 И S (0, 1, 1, 0) 0, 1, 1, 1 05. 02. 2018 17
Пример№ 8 F(A, B, C)=(A^B) ۷ (A ۷ C) =(A*B)+(A+C) 05. 02. 2018 18
Пример№ 8 F(A, B, C)=(A^B) ۷ (A ۷ C) =(A*B)+(A+C) 05. 02. 2018 19
Пример№ 8 F(A, B, C)=(A^B) ۷ (A ۷ C) =(A*B)+(A+C) 05. 02. 2018 20
Пример№ 8 F(A, B, C)=(A^B) ۷ (A ۷ C) =(A*B)+(A+C) 05. 02. 2018 21
Пример№ 8 F(A, B, C)=(A^B) ۷ (A ۷ C) =(A*B)+(A+C) 05. 02. 2018 22
Таблица истинности логической функции F=(A۷B)&(A۷B) A B A۷B 0 0 0 1 1 1 (A۷B)&(A۷B) 0 0 1 1 1 1 0 0 05. 02. 2018 23
Таблица истинности логического выражения A&B A B A&B 0 0 1 1 1 0 0 1 0 1 1 0 05. 02. 2018 24
Таблица истинности логического выражения A۷B A B A۷B 0 0 0 1 1 0 1 0 1 1 1 0 05. 02. 2018 25
Логические законы и правила преобразования логических выражений 4 Закон тождества: всякое высказывание тождественно самому себе. А=А 4 Закон непротиворечия: высказывание не может быть одновременно истинным и ложным. А & А=1 4 Закон исключенного третьего. Высказывание может быть истинным, либо ложным, третьего не дано. А ۷ А=1 4 Закон двойного отрицания: если дважды отрицать некоторое высказывание, то в результате мы получим исходное высказывание. А=А 05. 02. 2018 26
Логические законы и правила преобразования логических выражений 4 Законы Моргана: А ۷ В=А & В=А ۷ В 05. 02. 2018 27
4 Таблицы истинности совпадают, следовательно, логические выражения равносильны: A&B= A&B 4 Докажите , используя таблицы истинности, что логические выражения А۷В и А&В равносильны 05. 02. 2018 28
Домашнее задание 4 Докажите справедливость первого закона Моргана , используя таблицы истинности. 4 Докажите справедливость второго закона Моргана , используя таблицы истинности. 05. 02. 2018 29
Триггер – важнейшая структурная единица оперативной памяти компьютера. (хранит, запоминает и считывает информацию) ИЛИ 05. 02. 2018 НЕ НЕ 30
Скачать презентацию Алгебра логики Логические элементы Учитель Щербинина М В
Алг_логики.ppt