[ 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