https://blogdoprofh.com/2021/05/27/traducao-e-valor-logico-de-proposicoes-compostas/