Fazendo café!

Noções de algoritmos
\(\newcommand\Id[1]{\mbox{\textit{#1}}}\)

#0095

Considere a tarefa: fazer café.

Elabore as pre e pós-condições (sem os passos!) para esse problema.