Вопрос 20

Булевой алгеброй называется непустое множество A с двумя бинарными операциями (аналог конъюнкции), (аналог дизъюнкции), унарной операцией (аналог отрицания) и двумя выделенными элементами: 0 (или Ложь) и 1 (или Истина) такими, что для всех a, b и c из множества A верны следующие аксиомы:
$Описание: C:\Documents and Settings\Admin\Мои документы\Мои рисунки\Новая папка\Безимени-1.jpg$
Свойства:
$Описание: C:\Documents and Settings\Admin\Мои документы\Мои рисунки\Новая папка\2.jpg$
Основные тождества:
$Описание: C:\Documents and Settings\Admin\Мои документы\Мои рисунки\Новая папка\3.jpg$

На Главную