- #1
iamsmooth
- 103
- 0
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
[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!