Login
Registrieren
Frage?
Alle Fragen
Neue Fragen 🙋
Offene Fragen
Liveticker ⌚
Stichwörter/Themen 🏷️
Mitglieder
Alle Mitglieder 👪
Beste Informatiker 🏆
Monatsbeste
Jahresbeste
Punktesystem
Auszeichnungen 🏅
Community Chat 💬
Communities
Aktuelle Fragen
Chemie ⚗️
Informatik 💾
Mathematik 📐
Physik 🚀
Übersicht
Stell deine Frage
Fragen mit Stichwort aussagenlogik
+
0
Daumen
1
Antwort
Signatur auf Vollständigkeit prüfen - Boolesche Aussagenlogik
Gefragt
8 Nov 2017
von
INCepted
logik
boolesche
aussagenlogik
terme
+
0
Daumen
1
Antwort
Wie bringe ich folgenden Ausdruck in die konjunktive Normalform?
Gefragt
2 Nov 2017
von
UnknownTheorie
boolesche
aussagenlogik
normalform
logik
+
0
Daumen
2
Antworten
Wahrheitstafel. Lösung falsch, aber wieso?
Gefragt
27 Sep 2017
von
benisss
aussagenlogik
logik
wahrheitstafel
+
0
Daumen
1
Antwort
Booleschen Ausdruck x_{1}*x_{2}*¬(¬x_{2}+x_{3})*(x_{3}+x_{1}) in DNF/KNF umformen
Gefragt
17 Jun 2017
von
Weckmann
aussagenlogik
normalform
logik
umformen
boolesche-algebra
+
0
Daumen
2
Antworten
aussagenlogik Negation
Gefragt
17 Jun 2017
von
sonnenblume123
logik
aussagenlogik
aussagen
negation
+
0
Daumen
1
Antwort
ϕ:= (( ¬u ∧ ( q ∨ ¬p )) → r) ∨ ( p ∧ ( ¬u → u )) zur KNF umformen.
Gefragt
6 Jun 2017
von
wolfi
aussagenlogik
logik
+
0
Daumen
1
Antwort
Konjunktive Normalform (KNF) ohne Wahrheitstabelle bestimmen
Gefragt
22 Mai 2017
von
mateuzs
aussagenlogik
äquivalenz
boolesche-algebra
+
0
Daumen
1
Antwort
Wie wandel ich den Term "Für alle Wörter x aus L mit x > n" in die formale Sprache um?
Gefragt
22 Mai 2017
von
Gast
aussagenlogik
mengen
+
0
Daumen
1
Antwort
Formel in Dnf umformen. Term: (A v -B) ∧ -(-A v (A ∧ -B))
Gefragt
20 Mai 2017
von
Gast
dnf
boolesche
aussagenlogik
normalform
logik
+
0
Daumen
1
Antwort
Term in knf (konjunktive Normalform) und dnf (disjunktive Normalform) umformen
Gefragt
16 Mai 2017
von
Gast
konjunktiv
aussagenlogik
normalform
logik
boolesche-algebra
+
0
Daumen
1
Antwort
Aussagenlogik Tautologie beweisen:(aΛb) V (aΛc) V (bΛc)
Gefragt
7 Mai 2017
von
Naba2
aussagenlogik
aussagen
beweis
tautologie
+
0
Daumen
1
Antwort
Aussagenlogik, Formel ( ¬A ∨ ¬B ) ⇔ ( A ⇒ ¬B ) umformen zu ¬ ∧ ∨
Gefragt
29 Dez 2016
von
Gast
aussagenlogik
umformen
logik
formel
tabelle
+
0
Daumen
1
Antwort
knf von -f gleich -(knf von f)?
Gefragt
28 Nov 2016
von
neve
normalform
logik
aussagenlogik
+
0
Daumen
1
Antwort
Beweisen Sie, dass für alle G, H ∈ For_AL die aussagenlogische Formel eine Tautologie ist
Gefragt
22 Nov 2016
von
Gast
aussagenlogik
tautologie
aussagen
+
0
Daumen
1
Antwort
Aussagenlogische Formel (Not H -> Not G) - (G -> H) ist Tautologie. Beweis?
Gefragt
21 Nov 2016
von
Gast
aussagenlogik
tautologie
formel
boolsche
+
0
Daumen
1
Antwort
Aussagenlogik Äquivalenz zeigen
Gefragt
25 Okt 2016
von
Frontliner
logik
negation
äquivalenz
aussagenlogik
+
0
Daumen
1
Antwort
Booleschen Ausdruck kürzen
Gefragt
11 Okt 2016
von
Gast
aussagenlogik
boolesche
+
0
Daumen
1
Antwort
[Aussagenlogik] Was ist die Semantik dieser Klammern? ⟨ ⟩
Gefragt
25 Aug 2016
von
Schwachmatiker
aussagenlogik
klammern
+
0
Daumen
2
Antworten
Ist eine aussagenlogische Formel auch eine Tautologie wenn sie immer mit falsch auswertet?
Gefragt
18 Jul 2016
von
Gast
aussagenlogik
formel
aussagen
+
0
Daumen
1
Antwort
NNF und KNF erstellen
Gefragt
4 Jul 2016
von
gollumgollumgirl
normalform
aussagenlogik
logik
Seite:
« vorherige
1
2
3
4
nächste »
Made by a lovely
community