 #1
 19
 3
Homework Statement:

Analyze the logical form of the following statements.
"Either Alice or Bob is not in the room."
Relevant Equations:

Let P stand for Alice is in the room.
Let Q stand for Bob is in the room.
(P ^ ~Q) v (~P ^ Q)
Either Alice is in the room and Bob isn't or Alice isn't in the room and Bob is.
Would this be acceptable?
Let P stand for Alice is in the room.
Let Q stand for Bob is in the room.
(P ^ ~Q) v (~P ^ Q)
Either Alice is in the room and Bob isn't or Alice isn't in the room and Bob is.
Would this be acceptable?
Let Q stand for Bob is in the room.
(P ^ ~Q) v (~P ^ Q)
Either Alice is in the room and Bob isn't or Alice isn't in the room and Bob is.
Would this be acceptable?