Considerando-se que A e B sejam proposições ambas V ou sejam ambas F, então a proposição ¬((¬A)∧B) será F.