Sendo verdadeira a expressão lógica

( Q and S ) and ( not ( R and S ))

então pode-se concluir que: