I am reading "Introduction to Set theory" by J.Donald Monk and while going through
some theorem there, I needed the following equivalence.
I want to know if this is true ? I think so. Any hints about proving this without using
truth tables. I would just convert this into combination of and
.I tried to do that but couldn't get rid of .
Any pointers ?