XXVI Olimpíada Brasileira de Informática

Horta da escola

Os professores da escola resolveram manter uma horta na própria escola, para incrementar a merenda. A horta contém no máximo cinco de sete hortaliças -- alface, beringela, couve, maxixe, pimentão, salsa e tomate, obedecendo às seguintes condições:

  • Se a horta tem couve, então a horta não tem tomate.
  • Se a horta tem alface, então a horta não tem pimentão.
  • Se a horta não tem tomate, então a horta tem beringela ou maxixe, mas não ambos.
  • Se a horta não tem beringela ou não tem maxixe, então a horta tem alface e salsa.

Questão 1. Qual das seguintes alternativas poderia ser uma lista completa e correta das hortaliças que a horta tem?
alface, couve
alface, beringela, maxixe
alface, beringela, pimentão, salsa
alface, beringela, salsa, tomate
alface, couve, maxixe, salsa, tomate

Questão 2. Se a horta não tem nem couve nem salsa, então, qual das seguintes alternativas poderia ser verdadeira?
A horta tem exatamente quatro tipos de hortaliças.
A horta tem exatamente cinco tipos de hortaliças.
A horta não tem beringela.
A horta não tem maxixe.
A horta não tem tomate.

Questão 3. Qual das seguintes alternativas poderia ser verdadeira?
A horta não tem alface nem beringela.
A horta não tem beringela, nem maxixe, nem tomate.
A horta não tem beringela nem salsa.
A horta não tem couve nem tomate.
A horta não tem maxixe nem salsa.

Questão 4. Se a horta não tem alface, então qual das seguintes alternativas é necessariamente verdadeira?
A horta não tem couve.
A horta não tem salsa.
A horta não tem tomate.
A horta tem pimentão.
A horta tem salsa.

Questão 5. Se a horta tem pimentão, então qual das seguintes alternativas é necessariamente verdadeira?
A horta tem exatamente quatro tipos de hortaliças.
A horta tem exatamente cinco tipos de hortaliças.
A horta não tem alface nem couve.
A horta não tem alface nem maxixe.
A horta não tem beringela nem couve. Cada uma das alternativas seguintes poderia ser uma lista

Tarefas Iniciação Nível 1
Promoção:
sbc
Patrocínio
 
Apoio
 
Coordenação