XXVI Olimpíada Brasileira de Informática
Temperos
O cozinheiro de um restaurante está escolhendo ao menos um de sete temperos para usar na sua nova receita: Baunilha, Cravo, Hortelã, Gengibre, Louro, Pimenta e Salsinha. A escolha será feita de acordo com as seguintes restrições:
- Se Gengibre é escolhido, então ou Hortelã ou Pimenta é escolhido (mas não ambas).
- Se Louro é escolhido ou Baunilha não é escolhida, então Hortelã não é escolhida.
- Se Salsinha é escolhida ou Louro não é escolhido, então Pimenta não é escolhida.
- Se ou Cravo não é escolhido ou Salsinha não é escolhida, então Baunilha não é escolhida.