T_24 (por videoconferência no zoom)

13 Dezembro 2022, 10:30 • Mário Jorge Edmundo

Mais exemplos do algoritmo da resolução para a satisfazibilidade (exercícios 148 (1, 2, 5).