Source: http://wwwlehre.dhbw-stuttgart.de/~hladik/Logik/Uebungen Aussagenlogik.pdf