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.