Die Aufgabe ist erfüllbare Aussagen A und B zu finden, sodass weder -A noch A ^ B erfüllbar sind. A müsste dann ja auf jeden Fall eine Tautologie(sowas wie A ^ -A ) sein, weil -A sonst erfüllbar wäre. Ist es überhaupt möglich solche Aussagen zu finden? Weil man hat dann ja eine Tautologie A und ein erfüllbare Aussage B und da stellt sich die Frage wie A ^ B unerfüllbar sein soll.
↧