blitzer6266 wrote:That's right...
If you want to be formal, R can be written as
The main trick is that equals and vice versa
so not R is
where each of the lines is equivalent to the one above it and the last step is the de morgan rule mentioned above