Added more questions

src/js/questions.js

@@ -115,5 +115,25 @@ var questions = [
       title: "Wann ist eine Formel kontingent?",
       choices: ["Wenn es jeweils eine Belegung der Literale gibt, für die Formel wahr oder falsch wird.","Wenn die Formel eine Tautologie ist.","Wenn jede Belegung der Literale die Formel wahr werden lässt.", "Wenn jede Belegung der Literale die Formel falsch werden lässt."],
       answer: "Wenn es jeweils eine Belegung der Literale gibt, für die Formel wahr oder falsch wird."
+    },
+    {
+      title: "Wie kann folgende Formel umgeformt werden: φ = A → B",
+      choices: ["-A v B","A v -B","-A ∧ B", "-(A v B)"],
+      answer: "-A v B"
+    },
+    {
+      title: "Wie kann folgende Formel umgeformt werden: φ = A ↔ B",
+      choices: ["(A → B) ∧ (B → A)","(A v B) ∧ (B v A)","-(A ∧ B) v -(B ∧ A)", "-(A → B)"],
+      answer: "(A → B) ∧ (B → A)"
+    },
+    {
+      title: "Wie kann folgende Formel umgeformt werden: φ = -(A v B)",
+      choices: ["(-A ∧ -B)","(-A v -B)","(A → B)", "-(A ∧ B) v -(B ∧ A)"],
+      answer: "(-A ∧ -B)"
+    },
+    {
+      title: "Wie kann folgende Formel umgeformt werden: φ = --A",
+      choices: ["A","B","A v -A", "A → -A"],
+      answer: "A"
     }
   ];
\ No newline at end of file