ЗАКОНЫ АЛГЕБРЫ ЛОГИКИ

ЗАКОНЫ АЛГЕБРЫ ЛОГИКИ Закон противоречия  A &¬ A = 0 Закон исключенного третьего Свойства констант Свойства констант Законы идемпотентности A &0 = 0 A &1 = A A & A = A A v ¬ A = l А v 0 = A A v 1 = 1 A v A = A Законы коммутативности A & B = B & A A v B = B v A Законы ассоциативности A & ( B & С ) = ( A & B ) & C А v ( В v С ) = ( В v S ) v С Законы дистрибутивности A & ( B v С) = ( A & B ) v(A & С) A v ( B&C ) = (A v B )&( A v C ) Законы поглощения Законы де Моргана A & ( A v B ) = A ¬(А & B) = ¬A v¬ B Замена операции импликации A v ( A & B ) = A ¬(A v В) = ¬А & ¬В А => В = ¬ A v В Замена операции  эквивалентности А <=> В = (¬A v В )&( A v ¬ В)  A <=> B = (¬ A & ¬ B )v(A & B)  Порядок выполнения логических операций в сложном логическом выражении  1. инверсия   2. конъюнкция   3. дизъюнкция   4. импликация   5. эквивалентность   6. Для изменения указанного порядка выполнения операций используются скобки. ПОСТРОЕНИЕ ТАБЛИЦ ИСТИННОСТИ 1. Количество столбцов в левой части таблицы равно количеству логических аргументов 2. Количество строк в таблице определяется по формуле 2n, где n – количество логических  аргументов 3. Определить количество и последовательность выполнения логических операций 4. Количество столбцов в правой части таблицы равно количеству операций 5. Вычислить значение каждой логической операции * ­ Использованные источники: 1. Материалы сайта http://kpolyakov.narod.ru/ 2. О.Ю.Заславская, И.В.Левченко Информатика. Весь курс для подготовки к ЕГЭ – М.: Эксмо, 2009 3. Зорина Е.М. ЕГЭ 2010: Информатика. Сборник заданий – М.: Эксмо, 2009 4. Н.Д.Угринович Информатика и ИКТ. Учебник для 10­11 классов (профильный).­ М.: БИНОМ. Лаборатория знаний, 2010