Состояние внешнего if
, ($x || $a) && ($x || $y)
, эквивалентно $x || ($a && $y)
. Когда мы соединяем это с условием, что $x
также должно быть true (inner if
), мы получаем ($x || ($a && $y)) && $x
. И это эквивалентно $x && $x || $x && $a && $y
, которое может быть уменьшено до $x || $x && $a && $y
. В обеих ветвях ИЛИ $x
должно быть true для продолжения. Но если $x
в правой ветви равно true , то все условие уже true .
Таким образом, единственной переменной, которая должна быть true , является $x
:
return (bool) $x;