假设一个逻辑函数的卡诺图如下图所示，请写出其对应的约束条件