面试题：Rust复杂逻辑条件下布尔类型处理

Question

假设你有三个布尔变量`x`、`y`、`z`，请用Rust编写一个函数，该函数接受这三个变量作为参数，并在满足`(x && y) || (!y && z)`条件时返回`true`，否则返回`false`。同时，分析该逻辑表达式在不同输入情况下的执行路径。

Answer 1

fn check_conditions(x: bool, y: bool, z: bool) -> bool {
    (x && y) || (!y && z)
}

逻辑表达式执行路径分析

1. 当 y 为 true 时：
   • !y && z 这部分为 false，因为 !y 为 false，false && z 恒为 false。
   • 此时只需看 x && y，若 x 为 true，则 (x && y) || (!y && z) 为 true；若 x 为 false，则 (x && y) || (!y && z) 为 false。
2. 当 y 为 false 时：
   • x && y 这部分为 false，因为 y 为 false，x && false 恒为 false。
   • 此时只需看 !y && z，若 z 为 true，因为 !y 为 true，则 (x && y) || (!y && z) 为 true；若 z 为 false，则 (x && y) || (!y && z) 为 false。