home-harmening:mathematik:aussagenlogische_formeln