АвтоАвтоматизацияАрхитектураАстрономияАудитБиологияБухгалтерияВоенное делоГенетикаГеографияГеологияГосударствоДомДругоеЖурналистика и СМИИзобретательствоИностранные языкиИнформатикаИскусствоИсторияКомпьютерыКулинарияКультураЛексикологияЛитератураЛогикаМаркетингМатематикаМашиностроениеМедицинаМенеджментМеталлы и СваркаМеханикаМузыкаНаселениеОбразованиеОхрана безопасности жизниОхрана ТрудаПедагогикаПолитикаПравоПриборостроениеПрограммированиеПроизводствоПромышленностьПсихологияРадиоРегилияСвязьСоциологияСпортСтандартизацияСтроительствоТехнологииТорговляТуризмФизикаФизиологияФилософияФинансыХимияХозяйствоЦеннообразованиеЧерчениеЭкологияЭконометрикаЭкономикаЭлектроникаЮриспунденкция

Основы алгебры логики

Читайте также:
  1. II. Организационные основы деятельности участкового уполномоченного полиции
  2. II. Элементы линейной и векторной алгебры.
  3. V Основы массопередачи
  4. VI. ОСНОВЫ ДИСПЕРСИОННОГО АНАЛИЗА
  5. Акмеологические основы самосовершенствования личности.
  6. Биохимические основы лечения гиперхолестеролемии и атеросклероза
  7. Введение в бизнес. Основы рыночной экономики bibliotekar.ru/biznes-35/37.htm
  8. Введение. СОВРЕМЕННЫЕ ИДЕИ РАВЕНСТВА И ПСИХОЛОГИЧЕСКИЕ ОСНОВЫ ИСТОРИИ
  9. Введение. Современные идеи равенства и психологические основы истории
  10. Внешнеэкономическая деятельность и ее экономические основы
  11. Внимание и его физиологические основы
  12. Вопрос 35. Гигиенические основы проектирования и устройства предприятий общественного питания.

Для анализа и синтеза схем ЭВМ используется математический аппарат алгебры логики, оперирующий с двумя понятиями «истина» или «ложь». Алгебра логики — это раздел математической логики, значение всех элементов (функций и аргументов) которой определены в двухэлементном множестве: 0 и 1, оперирует с логическими высказываниями. Высказывание — это любое предложение, в отношении которого имеет смысл утверждение о его истинности или ложности. При этом считается, что высказывание удовлетворяет закону исключенного третьего, то есть каждое высказывание или истинно, или ложно, и не может быть одновременно и истинным и ложным. Примеры высказываний: «Сейчас идет снег» — это утверждение может быть истинным или ложным; «Вашингтон — столица США» — истинное утверждение; «Частное от деления 10 на 2 равно 3» — ложное утверждение. В алгебре логики все высказывания обозначают буквами a, b, c и т. д. Если над исходными элементами алгебры выполнены некоторые разрешенные в алгебре логики операции, то результаты операций также будут элементами этой алгебры.

Простейшими операциями в алгебре логики являются операции логического сложения (иначе: операция ИЛИ (OR), операция дизъюнкции) и логического умножения (иначе: операция И (AND), операция конъюнкции). Для обозначения операции логического сложения используют символы + или \/, а логического умножения — символы · или /\. Правила выполнения операций в алгебре логики определяются рядом аксиом, теорем и следствий. В частности, для алгебры логики применимы законы:

· Сочетательный:

(a + b) + c = a + (b + c),

(a · b) · c = a · (b · c).

· Переместительный:

(a + b) = (b + a),

(a · b) = (b · a).

· Распределительный

a (b + c) = a b + (a c),

(a + b) c = a · c + b · c.

Справедливы соотношения, в частности:

Наименьшим элементом алгебры логики является 0, наибольшим элементом — 1. В алгебре логики также вводится еще одна операция — отрицания (операция НЕ (NOT), инверсия), обозначаемая чертой над элементом. По определению:

Справедливы, например, такие соотношения:

Функция в алгебре логики — выражение, содержащее элементы алгебры логики a, b, c и др., связанные операциями, определенными в этой алгебре. Примеры логических функций:

Согласно теоремам разложения функций на конституанты (составляющие), любая функция может быть разложена на конституанты 1:

(5.1)

и т. д. Эти соотношения используются для синтеза логических функций и вычислительных схем.


1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | 31 | 32 | 33 | 34 | 35 | 36 | 37 | 38 | 39 | 40 | 41 | 42 | 43 | 44 | 45 | 46 | 47 | 48 | 49 | 50 | 51 | 52 | 53 | 54 | 55 | 56 | 57 | 58 | 59 | 60 | 61 | 62 | 63 | 64 | 65 | 66 | 67 | 68 | 69 | 70 | 71 | 72 | 73 | 74 | 75 | 76 | 77 | 78 | 79 | 80 | 81 | 82 | 83 | 84 | 85 | 86 | 87 | 88 | 89 | 90 | 91 | 92 | 93 | 94 | 95 | 96 | 97 | 98 | 99 | 100 | 101 | 102 | 103 | 104 | 105 | 106 | 107 | 108 | 109 | 110 | 111 | 112 | 113 |

Поиск по сайту:



Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав. Студалл.Орг (0.003 сек.)