Главная страница Случайная страница
Разделы сайта
АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника
|
|
Свойства и основные тождества
Из аксиом видно, что наименьшим элементом является 0, наибольшим является 1, а дополнение a любого элемента a однозначно определено. Для всех a и b из A верны также следующие равенства:
 ;
|  ;
| |
 ;
|  ;
| |
 ;
|  ;
| |
 ;
|  ;
| дополнение 0 есть 1 и наоборот |
 ;
|  ;
| законы де Моргана |
 .
| инволютивность отрицания |
 ;
|  .
| 1 коммутативность переместительность |
 ;
|  .
| 2 ассоциативность сочетательность |
3.1 конъюнкция относительно дизъюнкции 
| 3.2 дизъюнкция относительно конъюнкции 
| 3 дистрибутивность распределительность |
 ;
|  .
| 4 комплементность дополнительность (свойства отрицаний) |
| ;
| .
| 5 законы де Моргана |
 ;
|  .
| 6 законы поглощения |
 ;
|  .
| 7 Блейка-Порецкого |
| ;
| .
| 8 Идемпотентность |
| .
| 9 инволютивность отрицания | |
| ;
| .
| 10 свойства констант |
| ;
| .
| |
| дополнение 0 есть 1 ;
| дополнение 1 есть 0 .
| |
 ;
|  .
| 11 Склеивание |
Данная страница нарушает авторские права?