"两个条件同时满足的情况下,结论才能成立"相对应的逻辑运算是什么运算