Beweis Aussagenlogischer Formel

Question

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?

F	G	F∧G	F∨G
0	0	0	0
0	1	0	1
1	0	0	1
1	1	1	1

wäre es ja Standardmäßig

Answer 1

Tautologie ist etwas, das  immer wahr ist, also

F	G	F∧G	F∨G
1	0	0	1
1	1	1	1

also hat offenbar F∧G immer den gleichen Wert

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

Entsprechend F = 0 bei unerfüllbar.