Aula teórica 6

30 Setembro 2025, 10:30 • Maria da Purificação Antunes Coelho

Literais. Forma normal negativa (FNN),  forma normal disjuntiva (FND) e forma normal conjuntiva (FNC).

---

TP11_6

30 Setembro 2025, 08:00 • Mário Jorge Edmundo

Discussão e resolução dos exercícios 17, 18, 19

---

TP12 aula 5

29 Setembro 2025, 12:00 • Maria da Purificação Antunes Coelho

Exercícios 16 (conclusão), 17, 18 e 19.

---

TP14 aula 4

26 Setembro 2025, 11:30 • Maria da Purificação Antunes Coelho

Exercícios 11 e 15 e início do exercício 16.

---

Aula teórica 5

26 Setembro 2025, 09: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. Sentenças em forma normal negativa (FNN).

---