• Simplifique até a encontrar a menor FND da proposição (p→q)∧(q→p):
Copyright © 2014 AIEC.