Presentation informatics

Логические основы компьютера. Атемасова Д.

Формы мышления. Понятие Высказывание Умозаключение Доказательство

Понятие. ,[object Object]

Алгебра множеств ,[object Object],[object Object],[object Object],[object Object],[object Object]

Высказывание. ,[object Object]

Умозаключение. ,[object Object]

Доказательство. ,[object Object]

Алгебра высказываний. ,[object Object],[object Object]

Логическое умножение (конъюнкция). ,[object Object],[object Object]

[object Object],Таблица истинности функции логического умножения: A B F=A&B 0 0 0 0 1 0 1 0 0 1 1 1

Логическое сложение (дизъюнкция). ,[object Object],[object Object]

[object Object],Таблица истинности функции логического сложения: A B F=AvB 0 0 0 0 1 1 1 0 1 1 1 1

Логическое отрицание (инверсия). ,[object Object],[object Object]

[object Object],Таблица истинности функции логического отрицания: A F=not A 0 1 1 0

Логическое следование (импликация). ,[object Object],[object Object]

[object Object],Таблица истинности логического следования: A B F=A B 0 0 1 0 1 1 1 0 0 1 1 1

Логическое равенство (эквивалентность). ,[object Object],[object Object]

[object Object],Таблица истинности логического равенства: А В F 0 0 1 0 1 0 1 0 0 1 1 1

Законы логики. ,[object Object],[object Object],[object Object],[object Object]

[object Object],[object Object],[object Object],[object Object],[object Object]

Список литературы: ,[object Object],[object Object]

Recommended