https://9dok.net/document/yev1ln41-aussagenlogische-formel-p-heißt-erf-ullbar-belegung-wahr.html