T_3

13 Outubro 2020, 10:30 • Mário Jorge Edmundo

Tabelas de verdade, exemplo; tautologia e tt-satisfazível, princípios do terceiro excluído e da não contradição; possibilidade e verdade lógica; tautologia e verdade lógica, exemplo; possibilidade e tt-satisfazibilidade, exemplo. Algumas referências sobre SAT, P=NP? e um prémio de um milhão de dólares.