=>S(a|)E
SE
SxE
=>S(|b)E
SE
SxE
=>S(a||b)E
SE
SxE