Is this a correct solution to determine as to whom I should invite for the party? I was working my way through some Propositional Logic Questions in Discrete Maths by Rosen, when I came across the following question:

When planning a party you want to know whom to invite. Among the people you would like to invite are three touchy friends.
You know that if Jasmine attends, she will become unhappy if Samir is there, Samir will attend only if Kanti will be there, and Kanti will not attend unless Jasmine also does.
Which combinations of these three friends can you invite so as not to make someone unhappy?

My Solution:
1) First convert the given English sentences to logical propositions
Let J, S, K represent Jasmine, Samir, Kanti attending the party. So the propositions become:
$J\Rightarrow\not S$
$S\Rightarrow K$
$\not J\Rightarrow\not K$
2) For three variables, $2^3 = 8$ Truth Value Combinations are Possible. We need to find a combination which is consistent with the above set of propositions.
3) Clearly the combination that works is : J-True ; K-True ; S-False
4) Hence, one should invite Jasmine and Kanti and leave out Samir.
Doubt:
Am I correct in saying my answer will work? It is a bit lengthy . In more complicated problems , say involving > 5 variables , it would be futile to do the way I have done .
 A: Represent the three conditions as you mentioned in logical form and add “and”s between to signify that all must be met simultaneously.
$(J\implies S^c)\land (S\implies K)\land (J^c\implies K^c)$
$\equiv(J^c\lor S^c)\land (S^c\lor K)\land (J\lor K^c)$
$\equiv(J^c\land S^c\land J)\lor (J^c\land S^c\land K^c)\lor (J^c\land K\land J)\lor (J^c\land K\land K^c)\lor (S^c\land S^c\land J)\lor (S^c\land S^c \land K^c)\lor (S^c\land K\land J)\lor (S^c\land K\land K^c)$
$\equiv\emptyset \lor (J^c\land S^c\land K^c) \lor \emptyset \lor \emptyset \lor (S^c\land J)\lor (S^c\land K^c)\lor (S^c\land K\land J)\lor \emptyset$
$\equiv(J^c\land S^c\land K^c) \lor (S^c\land J)\lor (S^c\land K^c)\lor (S^c\land K\land J)$
$\equiv(J^c\land S^c\land K^c) \lor \left[(S^c\land J\land K)\lor (S^c\land J\land K^c)\right]\lor \left[(S^c\land K^c\land J)\lor(S^c\land K^c\land J^c)\right]\lor (S^c\land K\land J)$
$\equiv(J^c\land S^c\land K^c)\lor (S^c\land J\land K)\lor (S^c\land J\land K^c)$
Interpreting the final line, the possible solutions are


*

*to invite noone,

*to invite Jasmine and neither invite Samir nor Kanti, or

*to invite Jasmine and Kanti but not Samir.



Note, the question did ask "which combinations", which is different than asking "name at least one combination."  As it so happened, there are three possible solutions for these statements.  Before you say a party with no guests is not much of a party, note that the way the problem was worded suggests that there are potentially other friends you are inviting which aren't going to be upset by who you do or don't invite.
The question of if this method is any faster than building a truth table is up to you.  It is certainly easy to make a transcription error here.  There is the chance though that we can save several steps in the case of a larger number of truth values but fewer propositions.
