Алгебра логики в информатике: основы и применение