1. PQORC
2. P \ show R
3. PQO.....2 O int
4. R.........1,3 C elim
In these examples note that the order of the elements does not matter in the use of rules for introducing or eliminating the signals A and O. The left-to-right order does matter for the rules with the signal C.
It is also helpful to remember that by using the rules O int and CO subs it is often possible to derive strings ending in O or C which otherwise seem unavailable through a direct derivation.
Go on to additional rules and examples.
Go back to the starting page.