17.12.20131 Алгебра логики Логические элементы. 17.12.20132 Логика - это наука о формах и способах мышления. 4 Высказывание -это форма мышления, которой. - презентация

1 Алгебра логики Логические элементы

2 Логика - это наука о формах и способах мышления. 4 Высказывание -это форма мышления, которой что-либо утверждается или отрицается о реальных предметах, их свойствах и отношениях между ними. 4 Высказывание может быть истинно или ложно.

3 В алгебре высказываний высказывания обозначаются именами логических переменных, которые могут принимать лишь два значения «истинно» и «ложно». Истинно =1 Ложно=0

4 Для образования новых высказываний используются базовые логические операции: 4 логическое отрицание -операция не - инверсия 4 логическое умножение - операция и - конъюнкция 4 логическое сложение - операция или - дизъюнкция

5 не Логическое отрицание - операция не - инверсия НЕ А А

6 и Логическое умножение - операция и - конъюнкция И А В С C=A&B

7 или Логическое сложение - операция или - дизъюнкция ИЛИ А В С C=A۷B

8 Пример 1 или не

9 Пример 2 вых 1 2 И ИЛИИЛИ И НЕ

10 Пример 3 И ИЛИИЛИ НЕНЕ И И НЕНЕ И

11 Пример6 И ИЛИИЛИ НЕИ

12 Домашнее задание: пример1 И ИЛИИЛИ ИЛИИЛИ ИЛИИЛИ НЕ

13 Домашнее задание:пример2 И И ИЛИИЛИ НЕ

14 Пример5 ИЛИИЛИ И ИЛИИЛИ И ИЛИИЛИ НЕ

15 Пример4 И ИЛИИЛИ И ИЛИИЛИ ИЛИИЛИ И ИЛИИЛИ НЕ

16 Пример 7 И И НЕ И ИЛИИЛИ 12вых

17 Полусумматор двоичных чисел И И НЕ ИЛИ Р (0,0,0,1) S (0,1,1,0) 1,1,1,0 0,0,0,1 A (0,0,1,1) B (0,1,0,1) 0,1,1,1

18 Пример8 F(A,B,C)=(A^B) ۷ (A ۷ C) =(A*B)+(A+C)

19 Пример8 F(A,B,C)=(A^B) ۷ (A ۷ C) =(A*B)+(A+C)

20 Пример8 F(A,B,C)=(A^B) ۷ (A ۷ C) =(A*B)+(A+C)

21 Пример8 F(A,B,C)=(A^B) ۷ (A ۷ C) =(A*B)+(A+C)

22 Пример8 F(A,B,C)=(A^B) ۷ (A ۷ C) =(A*B)+(A+C)

23 Таблица истинности логической функции F=(A۷B)&(A۷B) ABA ۷ BAB (A۷B)&(A۷B)

24 Таблица истинности логического выражения A&B ABABA&B

25 Таблица истинности логического выражения A۷B ABA۷BA۷BA۷BA۷B

26 Логические законы и правила преобразования логических выражений 4 Закон тождества: всякое высказывание тождественно самому себе. А=А 4 Закон непротиворечия: высказывание не может быть одновременно истинным и ложным. А & А=1 4 Закон исключенного третьего. Высказывание может быть истинным, либо ложным, третьего не дано. А ۷ А=1 4 Закон двойного отрицания: если дважды отрицать некоторое высказывание, то в результате мы получим исходное высказывание. А=А

27 Логические законы и правила преобразования логических выражений 4 Законы Моргана: А ۷ В=А & В А & В=А ۷ В

28 Т4Таблицы истинности совпадают, следовательно, логические выражения равносильны: A&B= A&B 4Д4Докажите, используя таблицы истинности, что логические выражения А۷В и А&В равносильны

29 Домашнее задание 4 Докажите справедливость первого закона Моргана, используя таблицы истинности. 4 Докажите справедливость второго закона Моргана, используя таблицы истинности.

30 Триггер – важнейшая структурная единица оперативной памяти компьютера. (хранит, запоминает и считывает информацию) ИЛИНЕ ИЛИНЕ