Considere as proposições:

P: O dia está ensolarado.

Q: Jogo uma partida de futebol.

R: Fico em casa lendo um livro.

Seja S uma afirmação composta condicional na qual o termo antecedente é a negação lógica de P e o termo consequente é uma afirmação composta por conjunção de R com a negação lógica de Q. Uma afirmação logicamente equivalente a S é: