TP12_6

3 Outubro 2024, 10:30 • Mário Jorge Edmundo

Discussão e resolução dos exercícios: 19, 20 e 22.

---

TP14 aula 3

2 Outubro 2024, 09:30 • Maria da Purificação Antunes Coelho

Exercícios 6, 8, 9, 13, 18 e 19(5).

---

TP13 aula 4

2 Outubro 2024, 08:00 • Maria da Purificação Antunes Coelho

Exercícios 19 (conclusão), 20 e 22(1),(2).

---

Aula teórica 5

1 Outubro 2024, 10:30 • Maria da Purificação Antunes Coelho

Leis distributivas, leis de idempotência e leis de absorção. Verdades lógicas e tautologias. Sentenças tt-satisfazíveis. Literais. Sentenças em forma normal negativa (FNN).

---

TP11_5

1 Outubro 2024, 08:00 • Mário Jorge Edmundo

Discussão e resolução dos exercícios: 12 (conclusão), 9, 13, 18 

---