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