https://9dok.net/document/qmj5dml8-einführung-logik-übungsblatt-zeigen-ausschließlich-verwendung-ableitungsregeln-nsal.html