|
k 2 >= m + k + 1
/ c1 \
/ m1 \ | c2 |
| m2 | | c3 | / s1 \
m = | m3 | c = | c4 | s = | s2 |
\ m4 / | c5 | \ s3 /
| c6 |
\ c7 /

S1 = ((K1 AND K2) OR (K3 AND K4)) AND A1 S2 = ((K1 OR K3) AND A1) AND ((K2 OR K4) AND A2).
phi(S1, T) = phi(S2, T)?
- lambda t R(t) = e , lambda > 0