Plane Crash Survival: At Most One of Them

[iamsmooth]

Homework Statement

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".

Homework Equations

The Attempt at a Solution

<br /> \sim[(A\&amp;B)\vee((B\&amp;C)\vee(C\&amp;A))]

(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!

 

[Dick]

I don't see anything wrong with that. If 0 or 1 survive, it's true, if two or three survive it's false.