TP13_5

21 Outubro 2020, 08:00 • Bruno Dinis

Exemplos de tautologias, verdades lógicas e sentenças tt-satisfazíveis. Resolução dos exercícios 20, 22 e 23 (início)