Spacellama, it's not really a question, just a statement (in the mathematical logic sense). It means "A or (not B implies (C and D))". I would have to assume that she is intended to prove some tautology involving it, or that in proper context she is tol
peebles' recent comments: