AULA 4
28 Setembro 2018, 09:30 • Fernando Ferreira
Tautologias e tt-satisfação. Uma sentença do cálculo proposicional é uma tautologia se, e somente se, ~P não é tt-satisfazível.
O problema P versus NP. Considerações várias, inclusive criptográficas.