I have to prove the following statement using boolean identities for manipulation:
(a <--> (a --> b)) \/ ~b <==> (~b \/ a)
I've been drilling away at it, and I got it to here:
(~a V b) V ~b
But I cant figure out how to take it any further, and judging where I am, it seems like I had to have done something wrong. Any suggestions?