https://funciogamma.su/logica-proposicional/