w =
F =
Logic
0
1
> *A
B
A
*B
C
A
C
C
C