Контрольные вопросы: 1. Таблицы истинности 2. Используя логическую операцию (конъюнкция, дизъюнкция, импликация, эквивалентность) составить истинное высказывание из следующих : А-Я поеду летом в деревню В-Я пойду в поход
Алгебра логики 05. 02. 2018 2
Логика - это наука о формах и способах мышления. 4 Высказывание -это форма мышления, которой что-либо утверждается или отрицается о реальных предметах, их свойствах и отношениях между ними. 4 Высказывание может быть истинно или ложно. 05. 02. 2018 3
В алгебре высказываний высказывания обозначаются именами логических переменных, которые могут принимать лишь два значения «истинно» и «ложно» . Истинно =1 Ложно=0 05. 02. 2018 4
Для образования новых высказываний используются базовые логические операции: 4 логическое отрицание -операция не - инверсия 4 логическое умножение - операция и - конъюнкция 4 логическое сложение - операция или - дизъюнкция 05. 02. 2018 5
Логическое отрицание -операция не - инверсия А 05. 02. 2018 А НЕ 6
Логическое умножение операция и - конъюнкция А В 05. 02. 2018 C=A&B И С 7
Логическое сложение операция или - дизъюнкция А В 05. 02. 2018 ИЛИ С C=A۷B 8
Пример № 1 или 05. 02. 2018 не 9
Пример № 2 А И В И НЕ вых ИЛИ 05. 02. 2018 10
ДЗ: НЕ И И Л И 05. 02. 2018 И НЕ 11
Триггер – важнейшая структурная единица оперативной памяти компьютера. (хранит, запоминает и считывает информацию) ИЛИ НЕ
Пример№ 4 И И И Л НЕ И И Л И 05. 02. 2018 Л И 13
И Пример№ 5 Л И И НЕ Л И 05. 02. 2018 14
Пример№ 6 И НЕ И Л И 05. 02. 2018 15
Пример № 7 И И НЕ Л И И 05. 02. 2018 И НЕ 1 0 0 1 1 2 0 1 вых 1 1 1 0 16
Пример№ 8 F(A, B, C)=(A^B) ۷ (A ۷ C) =(A*B)+(A+C) 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
Таблица истинности логической функции 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 22
Таблица истинности логического выражения A&B A B A&B 0 0 1 1 1 0 0 1 0 1 1 0 05. 02. 2018 23
Таблица истинности логического выражения A۷B A B A۷B 0 0 0 1 1 0 1 0 1 1 1 0 05. 02. 2018 24
Логические законы и правила преобразования логических выражений 4 Закон тождества: всякое высказывание тождественно самому себе. А=А 4 Закон непротиворечия: высказывание не может быть одновременно истинным и ложным. А & А=1 4 Закон исключенного третьего. Высказывание может быть истинным, либо ложным, третьего не дано. А ۷ А=1 4 Закон двойного отрицания: если дважды отрицать некоторое высказывание, то в результате мы получим исходное высказывание. А=А 05. 02. 2018 25
Логические законы и правила преобразования логических выражений 4 Законы Моргана: А ۷ В=А & В=А ۷ В 05. 02. 2018 26
4 Таблицы истинности совпадают, следовательно, логические выражения равносильны: A&B= A&B 4 Докажите , используя таблицы истинности, что логические выражения А۷В и А&В равносильны 05. 02. 2018 27
Скачать презентацию Контрольные вопросы 1 Таблицы истинности 2 Используя логическую
2. Алгебра логики.ppt