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