FF&
Method 1 generated branch program:
0 brF 3 (F)
1 brF 3 (F)
Evaluating:
At state 0
Evaluates false

FD|FD&|!
Method 1 generated branch program:
0 brT 5 (F)
1 brT 5 (D)
2 brF 4 (F)
3 brT 5 (D)
Evaluating:
At state 0
At state 1
Die

TT&FF&&FT|TF|&&
Method 1 generated branch program:
0 brF 9 (T)
1 brF 9 (T)
2 brF 9 (F)
3 brF 9 (F)
4 brT 6 (F)
5 brF 9 (T)
6 brT 8 (T)
7 brF 9 (F)
Evaluating:
At state 0
At state 1
At state 2
Evaluates false

T!T!|TT&!|!
Method 1 generated branch program:
0 brF 5 (T)
1 brF 5 (T)
2 brF 5 (T)
3 brF 5 (T)
Evaluating:
At state 0
At state 1
At state 2
At state 3
Evaluates true

FD&!T!D!|&!
Method 1 generated branch program:
0 brF 2 (F)
1 brT 4 (D)
2 brF 5 (T)
3 brF 5 (D)
Evaluating:
At state 0
At state 2
At state 3
Die