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

Булева алгебра. Таблицы истинности. Основные законы

Читайте также:
  1. B. Основные принципы исследования истории этических учений
  2. I. ОСНОВНЫЕ ПОНЯТИЯ (ТЕРМИНЫ) ЭКОЛОГИИ. ЕЕ СИСТЕМНОСТЬ
  3. I.3. Основные этапы исторического развития римского права
  4. II Съезд Советов, его основные решения. Первые шаги новой государственной власти в России (октябрь 1917 - первая половина 1918 гг.)
  5. II. Основные задачи и функции
  6. II. Основные показатели деятельности лечебно-профилактических учреждений
  7. II. Основные проблемы, вызовы и риски. SWOT-анализ Республики Карелия
  8. III. Статистические таблицы
  9. IV. Механизмы и основные меры реализации государственной политики в области развития инновационной системы
  10. SCАDA-системы: основные блоки. Архивирование в SCADA-системах. Архитектура системы архивирования.
  11. V3: Основные черты и особенности политики военного коммунизма
  12. VI.3. Наследственное право: основные институты

Булевой алгеброй называется непустое множество A с двумя бинарными операциями (аналог конъюнкции), (аналог дизъюнкции), унарной операцией (аналог отрицания) и двумя выделенными элементами: 0 (или Ложь) и 1 (или Истина) такими, что для всех a, b и c из множества A верны следующие аксиомы:

1 коммутативность, переместительность
2 ассоциативность, сочетательность
3.1 конъюнкция относительно дизъюнкции 3.2 дизъюнкция относительно конъюнкции 3 дистрибутивность, распределительность
4 комплементность, дополнительность (свойства отрицаний)
5 законы де Моргана
6 законы поглощения
7 Блейка-Порецкого
8 Идемпотентность
  9 инволютивность отрицания, закон снятия двойного отрицания
10 свойства констант
дополнение 0 есть 1 дополнение 1 есть 0
11 Склеивание

 

Таблица истинности — это таблица, описывающая логическую функцию.

Под «логической функцией» в данном случае понимается функция, у которой значения переменных (параметров функции) и значение самой функции выражают логическую истинность.


1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 |

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



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