TP11_6
23 Outubro 2020, 08:00 • Mário Jorge Edmundo
Exemplos (tautologias e sentenças tt-satisfazíveis). Exercícios 20, 21 e 22.
23 Outubro 2020, 08:00 • Mário Jorge Edmundo
Exemplos (tautologias e sentenças tt-satisfazíveis). Exercícios 20, 21 e 22.