Testmaster book #4, Pg.46

This is the rule that I got screwed up on...I'm still trying to figure this stuff out...

"F cannot be on the same committee as K"

F< -|->K

"If K is on a committee, J must also be on that committee"

This is possibly where I got screwed up...I wrote...

K -> J

Then I took what I think is the contrapositive....If not J then not K, which I took to mean J -> K

From this I made the inference that F<-|->J....which is apprently an invalid inference...can someone please explain why. I think I'm finally close to understanding this stuff, I just need a little help...thanks!