9. 设 x=true, y=false, z=true。以下逻辑表达式的值为 true 的是（ ）。

{{ select(1) }}

• $(\lnot x\lor y)\land z$
• $(y\land z)\lor(x\land y)$
• $(x\land y)\lor z$
• $(x\land z)\land y$