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.