ЭЛЕМЕНТЫ АЛГЕРЫ ЛОГИКИ МАТЕМАТИЧЕСКИЕ ОСНОВЫ ИНФОРМАТИКИ

Ключевые слова алгебра логики высказывание логическая операция конъюнкция дизъюнкция отрицание логическое выражение таблица истинности законы логики

Свойства логических операций Законы алгебры-логики A & B = B & A A V B = B V A A&(B V C)= (A&B) V (A&C) A V (B&C) = (A V B)&(A V C) (A & B) & C = A & ( B & C) (A V B) V C =A V ( B V C) Переместительный Сочетательный Распределительный Закон двойного отрицания Закон двойного отрицания Ā = A A & Ā = 0 A V Ā = 1 A & 0=0; A &1 = A A V 0 = A; A V 1 = 1 A & A = A A V A = A Закон исключения третьего Закон исключения третьего Закон повторения Законы операций с 0 и 1 Законы операций с 0 и 1 Законы общей инверсии Законы общей инверсии A & B = Ā V B A V B = Ā & B

ABCB&CA v (B & C)A v BA v C(A v B) & (A v C) Распределительный закон для логического сложения: A v (B & C) = (A v B) & (A v C). Доказательство закона Умножаем В на С и выводим результат Складываем А и В и выводим результат Складываем А и (В&С) и выводим результат Складываем А и C и выводим результат Умножаем (АvB) на (AvC )и выводим результат Равенство выделенных столбцов доказывает распределительный закон.

Источники информации b892beca45/?interface=catalog&class=51&subject=19 – Элементарные логические операции 88b892beca45/?interface=catalog&class=51&subject= jpg - Аристотель jpg 3. g - Аристотель g 4. g - Джордж Буль g Клод Элвуд Шеннон мальчик 1http://mdou-teremok.moy.su/kartinki/ab2a40ef409a-1-.png 7. boys.jpg%3Fw%3D283%26h%3D494 – мальчик 2http://falconsscience.files.wordpress.com/2007/10/cartoon- boys.jpg%3Fw%3D283%26h%3D мальчик 3http://s39.radikal.ru/i085/0811/f0/e7c004f3c68a.png