vault backup: 2023-09-26 10:45:08

This commit is contained in:
Alice 2023-09-26 10:45:08 +01:00
parent 2f04827073
commit cee89cfcee
3 changed files with 3484 additions and 26781 deletions

File diff suppressed because it is too large Load diff

File diff suppressed because it is too large Load diff

View file

@ -87,7 +87,8 @@
>
> Escreve um conjunto de fórumlas proposicionais adequado à modelação destas regras.
>
> >[!tip]- Resolução (por passos)
> >[!tip]- Resolução
> >
> >**Cada pessoa ocupa só um único gabinete.**
> > 1. para cada pessoa p = 1..4
> > 2. pelo menos um gabinete: $x_{p1} \lor x_{p2} \lor x_{p3}$