39.3 Булева,компютерная алгебра