Commit a3e8b835 authored by Matthias Merz's avatar Matthias Merz
Browse files

added some questions

parent ba0e6456
......@@ -221,4 +221,30 @@ var questions = [
choices: ["{A,B,C,¬D}","{A,C,¬D}","{¬A,B,C,¬D}", "{B,C,¬D}"],
answer: "{B,C,¬D}"
},
{
title: "Die Unit Propagation ist ......",
choices: ["eine Vereinfachungsregel","eine Formel","eine Schlussfolgerung", "ein Überprüfungsverfahren"],
answer: "eine Vereinfachungsregel"
},
{
title: "Wende die Unit Propagation auf die Menge M = { {A,B,C}, {¬A,C,¬D}, {A} } an. Wie sieht die Menge danach aus. ",
choices: ["{ {C,¬D} }","{ {B,C}, {C,¬D} }","{ {A,B,C}, {C,¬D} }", "{ {A,B,C}, {¬A,C,¬D} }"],
answer: "{ {C,¬D} }"
},
{
title: "bei dem DPLL gilt, falls M = ∅, beende mit _______. (bei einer endlichen Klauselmenge M (in KNF) ",
choices: ["erfüllbar","unerfüllbar","allgemeingültig", "machbar"],
answer: "erfüllbar"
},
{
title: "Ab wann Beendet man beim DPLL mit unerfüllbar bei einer endlichen Klauselmenge M (in KNF)",
choices: ["∅ ∈ M","∅ ∉ M","M = ∅", "M \"],
answer: "∅ ∈ M"
},
{
title: "Wende die Shannon-Expansion einmal auf die Formel (C ∨ B) → A an auf A",
choices: ["if A then (C ∨ B) → T else (C ∨ B) → ⊥","if A then T → (C ∨ B) else ⊥ → (C ∨ B)","if A then T else T", "if A then (C ∨ B) → ⊥ else (C ∨ B) → T"],
answer: "if A then (C ∨ B) → T else (C ∨ B) → ⊥"
},
//ROBDDS BDDS fehlen
];
\ No newline at end of file
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment