Update README.md

* Rabin condition in examples written in standard way, i.e. `(F0 & I1)` instead of `(F0 | I0)` (which was also correct, but didn't correspond directly to Rabin).