Skip to content

Instantly share code, notes, and snippets.

@lunhg

lunhg/Exercicio_1_1.md

Last active March 12, 2020 13:43
Show Gist options
  • Save lunhg/38738be3e01e16a795e7cd3c768629df to your computer and use it in GitHub Desktop.
Save lunhg/38738be3e01e16a795e7cd3c768629df to your computer and use it in GitHub Desktop.
Download ZIP
Resolução do execício 1.1 do livro Lógica de Programação: a construção de algoritmos e estruturas de dados
Raw
Exercicio_1_1.md

Se

Lógica descritiva Lógica Proposicional
Dona branca usa Rosa ou violeta Rosa || Violeta
Dona Rosa usa Branco ou violeta Branco || Violeta
Dona Violeta usa Branco ou Rosa Branco || Rosa

Logo:

Lógica descritiva Lógica Proposicional
Dona branca usa Rosa ou violeta e Branco ou violeta (Rosa || Violeta) && (Branco || violeta)
Dona Rosa usa Branco ou violeta e Branco ou rosa (Branco || Violeta) && (Branco || Rosa)
Dona Violeta usa aquilo que sobrou (Branco || Rosa) && (Rosa || violeta)

Então:

  • Dona Branca usa ((Rosa || Violeta) && (Branco || violeta)) = Vestido Violeta
  • Dona Rosa usa (Branco || Violeta) && (Branco || Rosa) = Vestido Branco
  • Dona Violeta usa ((Branco || Rosa) && (Rosa || violeta)) = Vestido Rosa
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment