T_20

29 Novembro 2022, 10:30 • Mário Jorge Edmundo

tt-satisfazibilidade e tt-consequencia; tt-satisfazibilidade e tautologia; literais, cláusulas; fórmulas de Horn, algoritmo da satisfação de Horn, exemplo, prolog; algoritmo da resolução para a tt-satisfazibilidade; exemplos.