(A' | B')\c

--- 'b ---> (A' | B)\c

(A' | B)\c

--- tau ---> CompoAB

CompoAB

--- a ---> (A' | B')\c
--- 'b ---> (A | B)\c

(A | B)\c

--- a ---> (A' | B)\c