布尔逻辑-条件等价转换