Булева алгебра контактные схемы