1. The problem statement, all variables and given/known data A: Albert survived the plane crash B: Bill survived the plane crash C: Cory survived the plane crash Create the sentence (sentential logic) "at most one of them will survive the plane crash". 2. Relevant equations 3. The attempt at a solution [tex] \sim[(A\&B)\vee((B\&C)\vee(C\&A))][/tex] (In case people use a slightly different notation: ~ = 'negation', v = 'or', & = and) I think this covers all the cases where they do have two or three survivors. Can anyone see anything wrong with my logic? Thanks!