by Leren » Tue Dec 23, 2014 7:52 pm
There were typos in my notation, which I've now corrected to: (1) r5c3 = r7c3 - r9c1 = (1) r9c6
What this means in words, when read from left to right, is : If r5c3 is not 1, then r7c3 is 1, so r9c1 is not 1, so r9c6 is 1
When read from right to left it says : if r9c6 is not 1, then r9c1 is 1, so r7c3 is not 1, so r5c3 is 1.
Note that the 1's are placed in brackets to indicate that whether they are assumed to be True or False depends on which direction you are reading the chain.
Also, the second and third terms do not include 1's. it's customary to only include the number when it changes from the previous term, which de-clutters the notation a bit.
Leren