This problem is in Contest(s) below:
Contest 3854:（AK张老师）入门班 逻辑运算 家庭作业
Contest 3857:入门-第7课-课堂练习（三小春季）