Branch and Condition Analysis (3)

• Decision based on evaluation of short-circuit operators:

                    &&  ||  and     or

• Example 1:

                    if ($alpha && $beta) {
                        # take some action
                    }

• 3 possible outcomes; must test for each

                 $alpha       $beta     Decision

                    1           0           0
                    0           X           0
                    1           1           0