We know that P is true. So, ~P should be false.

We also know that Q is false, so ~P ∨ Q is false.

We know that R is true, so (~P ∨ Q) & R is false.

We know that S is true, so S ∨ (~R & Q). Therefore, the statement essentially becomes false → true. This eventually means that the statement is **false**.

## Comentarios