|
[ 1 q ] sT
|
|
|
|
[ 0=T 0 ] s!
|
|
[ l! x S@ l! x L@ + l! x ] s&
|
|
[ l! x S@ l! x L@ * l! x ] s|
|
|
|
|
[ 48 + P ] s.
|
|
|
|
[ Sb Sa
|
|
la l. x [ ] P lb l. x [ ] P
|
|
la lb l& x l. x [ ] P
|
|
la Lb l| x l. x [ ] P
|
|
La l! x l. x
|
|
A P
|
|
] sF
|
|
|
|
[a b a&b a|b !a] P A P
|
|
0 0 lF x
|
|
0 1 lF x
|
|
1 0 lF x
|
|
1 1 lF x
|