Основы логики и логические основы компьютера(11 класс)

Основы логики и логические основы компьютераФормы мышления Логика-это наука о формах и способах мышления.Понятие-это форма мышления, фиксирующая основные, существенные признаки объекта. Формы мышленияЛогика-это наука о формах и способах мышления.Понятие-это форма мышления, фиксирующая основные, существенные признаки объекта.Высказывание-это форма мышления , в которой что-либо утверждается или отрицается о свойствах реальных предметов и отношениях между ними. Высказывание может быть либо истинно, или ложно. Алгебра высказываний В алгебре высказываний высказывания обозначаются именами логических переменных, которые могут принимать лишь два значения: «истина» (1) и «ложь» (0). Логическое умножение (конъюнкция)Составное высказывание, образованное в результате операции логического умножения (конъюнкции), истинно тогда и только тогда, когда истинны все входящие в него простые высказывания. Примеры КОНЪЮНКЦИИ:«22=5 и 3 3=10», «22=5 и 3 3=9»,«22=4 и 3 3=10»,«22=4 и 3 3=9».{08FB837D-C827-4EFA-A057-4D05807E0F7C}АВF=A^B000010100111 Логическое сложение (дизъюнкция)Составное высказывание, образованное в результате логического сложения (дизъюнкции), истинно тогда, когда истинно хотя бы одно из входящих в него простых высказываний. Пример ДИЗЪЮНКЦИИ:{00A15C55-8517-42AA-B614-E9B94910E393}АВF=AVВ000011101111«22=5 или 33=10»«22=5 или 33=9»«22=4 или 33=10»«22=4 или 33=9» Логическое отрицание (инверсия)Логическое отрицание (инверсия) делает истинное высказывание ложным и, наоборот, ложное – истинным.{5C22544A-7EE6-4342-B048-85BDC9FD1C3A}AF=0110 Логические выражения и таблицы истинностиКаждое составное высказывание можно выразить в виде формулы(логического выражения), в которую входят логические переменные, обозначающие высказывания, и знаки логических операций, обозначающие функции.(2*2=5 или 2*2=4) и (2*2#5 или 2*2#4).«(А или В) и( или В )»При выполнении логических операций определен приоритет:Инверсия;Конъюнкция;Дизъюнкция;F=(AB)&(A  B) F=(AB)&(A  B)=(0 1)&(1 0)=1&1=1 Таблицы истинности логических выражений Законы логики A=A ЗАКОН ТОЖДЕСТВВА A & =0 ЗАКОН НЕПРОТИВОРЕЧИЯA  A =1 ЗАКОН ИСКЛЮЧЕНОГО ТРЕТЬЕГО = A ЗАКОН ДВОЙНОГО ОТРИЦАНИЯ Законы де МорганаА  В=А & BА&B=A  B {5C22544A-7EE6-4342-B048-85BDC9FD1C3A}ЗАКОН ДИСТРИБУТИВНОСТИДИСТРИБУТИВНОСТЬ УМНОЖЕНИЯ ОТНОСИТЕЛЬНО СЛОЖЕНИЯ ДИСТРИБУТИВНОСТЬ СЛОЖЕНИЯ ОТНОСИТЕЛЬНО УМНОЖЕНИЯab+ac=a(b+c)-в алгебре(A&B) (A&C)=A&(BC)(AB)&(AC)=A(B&C){5C22544A-7EE6-4342-B048-85BDC9FD1C3A}ЗАКОН АССОЦИАТИВНОСТИЛОГИЧЕСКОЕ УМНОЖЕНИЕ(A&B)&C=A&(B&C)ЛОГИЧЕСКОЕ СЛОЖЕНИЕ(AB) C=A(BC){5C22544A-7EE6-4342-B048-85BDC9FD1C3A}ЗАКОН КОММУТАТИВНОСТИЛОГИЧЕСКОЕ УМНОЖЕНИЕЛОГИЧЕСКОЕ СЛОЖЕНИЕA&B=B&AAB=BA Решение задач на законы логики (EG_09)