https://9dok.net/document/y8g79wl0-peterbecker-h-brs-mathematischegrundlagenwintersemester-kapitel-aussagenlogik-aussagenlogik.html