Em um protocolo de segurança de dados, sejam p a proposição "a cópia de segurança foi concluída", q a proposição "a integridade criptográfica foi verificada" e r a proposição "o acesso externo foi bloqueado". O sistema considera o ambiente protegido quando é verdadeira a proposição composta Φ = (p ^ q) v (¬p ^ r). Analise as assertivas e classifique-as como verdadeiras (V) ou falsas (F).
(__) Se p e q forem verdadeiras, Φ será verdadeira independentemente do valor lógico de r.
(__) Se p for falsa e r for verdadeira, Φ será verdadeira independentemente do valor lógico de q.
(__) Se p for verdadeira e q for falsa, Φ poderá ser verdadeira caso r também seja verdadeira.
(__) Se r for falsa, Φ será equivalente, nessa condição, a p ^ q.
(__) Entre as 8 valorações possíveis de p, q e r, exatamente 5 tornam Φ verdadeira.
A sequência CORRETA, de cima para baixo, é: