Моделирование логики

Заказчик
[no-member:pro]Константин[/no-member:pro]Константин
Параметры проекта
Вариант сотрудничестваОдноразовый проект
РазделРазработка программ
Предоплатавозможна предоплата
Способы оплатыНаличные, Банковский перевод, Электронные деньги
Приём заявокзавершён
Описание проекта
Нужна программа, моделирующая булеву алгебру частично упорядоченных множеств по правилам дистрибутивности, коммутативности и т.д.