https://blogdoprofh.com/2021/04/29/negacao-de-proposicoes-compostas-e-tabela-verdade/