https://remp3indir.net/python-tutorial-propositional-logics-using-python/