I have to come up with a logical statement when making a truth table that has these conditions:

The statement is always false if both P and Q are true. Otherwise, the statement is true if Q is true but R is not true.

so far I have ~(P&Q) which makes it false if both P and Q are true. But, I don't know what to add to fulfil the second part.
help!

1 answer

We want the truth table to look like this:
PQR S
TTT F
TTF F

TFT F
TFF F
FTT F
FTF T
FFT F
FFF F

Looks like it reduces to Q&~(P|R)