Булево Уравнение

функция алгебры логики,- функция, аргументы к-рой, равно как и сама функция, принимают значения из двухэлементного множества (обычно {0,1}). Б. Ф. Являются одним из основных объектов дискретной математики, в особенности тех ее разделов, к-рые входят в математич. Логику и математич. Кибернетику. Б. Ф. Возникли при математнч. Постановке задач логики и были названы по имени Дж. Буля (G. Boole), положившего начало применению математики в логике (сер. 19 в. См. Алгебра логики). Одной из таких зада..

- ассоциативное кольцо К, все элементы к-рого идемпотентны, т. Е. для любого . Йюбое Б. К. коммутативно и является под-прямой суммой полей из двух элементов. При этом для всех . Конечное Б. К. является прямой суммой полей и потому имеет единицу. Б. К.- это кольцевой вариант булевых алгебр, а именно. Любая булева алгебра является Б. К. С единицей относительно операций сложения и умножения, определяемых правилами где - дополнение элементам. Нуль и единица кольца совпадают с нулем и..

модель, определяемая следующим образом. Пусть - сигнатура нек-poro языка 1-й ступени с одним сортом переменных, т. Е. - множество символов функций и предикатов. Б. М. Наз. Тройка где - невырожденная булева алгебра, - непустое множество и - функция, определенная на W и такая, что если есть n-местный функциональный символ, и , если есть n-местный предикатный символ. Запись обозначает множество всех функций, определенных на со значениями в и , где - натуральное число. Буле..

..