blob: 6f56cceaa02e6fd2f99405cc7cd8dd577922a344 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
(a | b)
a; g
((a | (b; g)) | e)
(((a | b); g) | c)
((a | b) | c); (g | h)
a; (b | (c; (d; (e | (f; g)))))
(a | b); (c | d)
a; ((b | c) | d)
((a | (b; c)) | d) | e
((a | b); (c | d)) | e
a | b
(a | (b; c))
|