https://blogdoprofh.com/2022/04/26/lista-online-sobre-negacao-de-proposicoes-compostas/