T_20

18 Dezembro 2020, 09:30 • Mário Jorge Edmundo

Nota sobre tt-satisfazibilidade e tt-consequência e, tt-satisfazibilidade e tautologia; literais e cláusulas; fórmulas de Horn, forma condicional de uma fórmula de Horn, algoritmo de satisfação de Horn; exemplo; Prolog e o algoritmo de satisfação de Horn; algoritmo de resolução para a tt-satisfazibilidade; exemplos.