T_22

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

Mais exemplos do algoritmo da Horn, do algoritmo da resolução para a tt-satisfazibilidade e do algoritmo da resolução para a satisfazibilidade.