Entscheide, ob der aussagenlogische Ausdruck ( ¬ p ∨ q ) → ( p ∨ ¬ q ) {\displaystyle {}{\left(\neg p\vee q\right)}\rightarrow {\left(p\vee \neg q\right)}} erfüllbar
