Aussagenlogik/Erfüllbar/Beispielsatz/Aufgabe/Lösung

Wenn die Aussagenvariable ${}p$ mit ${}1$ und die Aussagenvariable ${}q$ mit ${}0$ belegt wird, so besitzt der Vordersatz ${}\neg p\vee q$ den Wahrheitswert ${}0$ und somit besitzt die Gesamtimplikaton den Wahrheitswert ${}1$. Daher ist der Ausdruck erfüllbar.

Zur gelösten Aufgabe