ich wollte folgende Formeln per Wahrheitstabelle beweisen
F ∧ G ≡ G, F ∨ G ≡ F, falls F eine Tautologie.
und
F ∧ G ≡ F, F ∨ G ≡ G, falls F unerfüllbar.
Nur wie stelle ich das hier an?
Tautologie ist etwas, das immer wahr ist, also
also hat offenbar F∧G immer den gleichen Wert wie G und F∨G wie F ( also 1 ) .Entsprechend F = 0 bei unerfüllbar.
Ein anderes Problem?
Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos