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