@misc{Vierjahn2021, author = {Tom Vierjahn}, title = {Grundlagen der Informatik und Programmierung 1 (WS 2020/21) -- \"5.2 Aussagenlogik: Weiterf{\"u}hrendes\"}, institution = {Wirtschaft und Informationstechnik Bocholt}, type = {lecture}, year = {2021}, }