 |
Главная Случайная страница Контакты | Мы поможем в написании вашей работы! | |
Булева алгебра
|
|
Булевой алгеброй [1][2][3] называется непустое множество A с двумя бинарными операциями 
(аналог конъюнкции), 
(аналог дизъюнкции), унарной операцией 
(аналог отрицания) и двумя выделенными элементами: 0 (или Ложь) и 1 (или Истина) такими, что для всех a, b и c из множества A верны следующие аксиомы:
| 
| ассоциативность |
| 
| коммутативность |
| 
| законы поглощения |
| 
| дистрибутивность |
|
Дата публикования: 2014-12-08; Прочитано: 251 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!
