algebra_logiki (1)

Содержание

Слайд 2

Логика - это наука о формах и способах мышления.

Высказывание -это форма мышления,

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

Слайд 3

В алгебре высказываний высказывания обозначаются именами логических переменных, которые могут принимать лишь

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

Слайд 4

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

логическое отрицание -операция не -

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

Слайд 5

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

НЕ

А

А

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

Слайд 6

Логическое умножение - операция и - конъюнкция

C=A&B

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

Слайд 7

Логическое сложение - операция или - дизъюнкция

ИЛИ

А

В

С

C=A۷B

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

Слайд 8

Пример №1

Пример №1

Слайд 9

Пример №2

вых

Пример №2 вых

Слайд 10

Пример №3

Пример №3

Слайд 11

Пример№6

Пример№6

Слайд 12

Домашнее задание: пример№1

Домашнее задание: пример№1

Слайд 13

Домашнее задание:пример№2

Домашнее задание:пример№2

Слайд 14

Пример№5

Пример№5

Слайд 15

Пример№4

Пример№4

Слайд 16

Пример №7

Пример №7

Слайд 17

Полусумматор двоичных чисел

Полусумматор двоичных чисел

Слайд 18

Пример№8

F(A,B,C)=(A^B) ۷ (A ۷ C)
=(A*B)+(A+C)

Пример№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)

Пример№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)

Пример№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)

Пример№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)

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

Слайд 23

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

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

Слайд 24

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

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

Слайд 25

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

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

Слайд 26

Логические законы и правила преобразования логических выражений

Закон тождества: всякое высказывание тождественно самому

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

Слайд 27

Логические законы и правила преобразования логических выражений

Законы Моргана:
А ۷ В=А &

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

Слайд 28

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

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

Слайд 29

Домашнее задание

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

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