https://www.passeidireto.com/pergunta/131751596/construindo-a-tabela-verdade-da-proposicao-p-p-q-p-↔-q-∧-q-→-p-e-com-base-na-col