Логический алфавит
Логический алфавит Основы логического алфавита Логический алфавит, разработанный Ши Зеллвегером, представляет 16 двоичных функций истинности. Он направлен на создание более […]
Вики
булева алгебра
Вики
Логический домен
Логический домен Логическая область — множество, состоящее из двух элементов: ложь и истина. В логике, математике и информатике логическая область
Вики
Двухэлементная булева алгебра
Двухэлементная булева алгебра Булева алгебра — это алгебра, основанная на логике высказываний. Булева алгебра имеет две основные операции: «+» и
Вики
Логическая функция
Логически значимая функция Булева функция — это функция типа f : X → B, где X — произвольное множество, а
Вики
Канонически определенные булевы алгебры
Булевы алгебры, канонически определенные Булевы алгебры являются фундаментальными в математике и информатике. Булевы алгебры могут быть определены как множества подмножеств