🗊БАЗОВЫЙ КУРС ИНФОРМАТИКИ

БАЗОВЫЙ КУРС ИНФОРМАТИКИ

ТЕМЫ

Формы мышления

ПОНЯТИЕ ЛОГИЧЕСКИХ ПЕРЕМЕННЫХ

КВАНТОРЫ

ЛОГИЧЕСКИЕ ОПЕРАЦИИ

ЛОГИЧЕСКИЕ ОПЕРАЦИИ

ЛОГИЧЕСКИЕ ОПЕРАЦИИ

ЛОГИЧЕСКИЕ ОПЕРАЦИИ

ЛОГИЧЕСКИЕ ОПЕРАЦИИ

ЛОГИЧЕСКИЕ ОПЕРАЦИИ

ЛОГИЧЕСКИЕ ОПЕРАЦИИ

ЛОГИЧЕСКИЕ ОПЕРАЦИИ

ЛОГИЧЕСКИЕ ОПЕРАЦИИ

ЛОГИЧЕСКИЕ ФУНКЦИИ

ЗАКОНЫ ЛОГИКИ Формула имеет нормальную форму, если в ней отсутствуют знаки эквивалентности, импликации, двойного отрицания, при этом знаки отрицания находятся только при переменных. 1) закон тождества А=А 2) закон двойного отрицания ((A))=A 3) закон противоречия А (А) = 0 4) закон исключения третьего А (А) = 1 5) АВ= (А) В 6) АВ=(А В) ((А)  (В)) АВ=((А)  В)  (А  (В)) 7) коммутативный закон: АВ=ВА АВ=ВА 8) ассоциативный закон: ((АВ)С)=(А(ВС)) ((АВ) С)=(А(ВС)) 9) дистрибутивный закон: (А(ВС))=((АВ)  (АС)) (А(ВС))=((АВ)  (АС))

ЗАКОНЫ ЛОГИКИ 10) закон поглощения: А(АВ) =А А(АВ) =А 11) закон идемпотентности: АА=А АА=А 12) законы исключения констант: А1=А А1=1 А0=0 А0=А 13) отрицание конъюнкций: (АВ) =( А) ( В) 14) отрицание дизъюнкций: (АВ) =( А) ( В) 15) закон исключения: (АВ)((А) В) = В (АВ)((А)В) = В

ЗАКОНЫ ЛОГИКИ

ЗАДАЧИ

ЗАДАЧИ

ЗАДАЧИ

ЗАДАЧИ

ЗАДАЧИ

ЗАДАЧИ

ЗАДАЧИ

ЗАДАЧИ

ЗАДАЧИ

ЗАКЛЮЧЕНИЕ

Пясецкая Анна Андреевна