0 Daumen
282 Aufrufe

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?

FGF∧G
F∨G
0000
0101
1001
1111

wäre es ja Standardmäßig
Avatar von

1 Antwort

0 Daumen

Tautologie ist etwas, das  immer wahr ist, also

FGF∧G
F∨G
1001
1111


also hat offenbar F∧G immer den gleichen Wert

wie  G und    F∨G  wie  F ( also 1 ) .

Entsprechend F = 0 bei unerfüllbar.


Avatar von 289 k 🚀

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community