Alice/my_digital_garden
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

vault backup: 2023-09-26 11:15:10

Browse source
This commit is contained in:
Alice 2023-09-26 11:15:10 +01:00
parent b901239356
commit 36e3ad586c
2 changed files with 13589 additions and 22544 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

36124
content/Excalidraw/MFES/Drawing 2023-09-26 10.40.37.excalidraw.md → content/Excalidraw/MFES/Ficha1_ex2.excalidraw.md
View file

File diff suppressed because it is too large Load diff

7
content/MFES/PL - Aula 1.md
View file

@ -88,9 +88,4 @@
> Escreve um conjunto de fórumlas proposicionais adequado à modelação destas regras. > Escreve um conjunto de fórumlas proposicionais adequado à modelação destas regras.
> >
> >[!tip]- Resolução > >[!tip]- Resolução
> > > > [[Ficha1_ex2.excalidraw]]
> >**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}$
> > 3. no máximo 1 gabinete: $x_{p1} \implies \neg x_{p2} \land x_{p3} \equiv x_{p1} \implies \neg (x_{p2} \lor x_{p3} ) \equiv x_{p2} \implies \neg x_{p3}$
> > 4.