Ist die Konjunktion folgender drei Formeln erfüllbar oder unerfüllbar

Question

Aufgabe:

Ist die Konjunktion folgender drei Formeln erfüllbar oder unerfüllbar? Ist sie eine Tautologie? Begründen Sie.

1.  ¬ (P ↔ Q)

2.  R → ¬Q ∧ ¬P

3.  ¬Q → ¬R ∧ ¬P

Answer 1

Wahrheitstabelle aufstellen.

P	Q	R	¬ (P ↔ Q)	R → ¬Q ∧ ¬P	¬Q → ¬R ∧ ¬P	\(\bigwedge\)
0	0	0
0	0	1
0	1	0
0	1	1
1	0	0
1	0	1
1	1	0
1	1	1