@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}, }