Login
Registrieren
Frage?
Alle Fragen
Neue Fragen 🙋
Offene Fragen
Liveticker ⌚
Stichwörter/Themen 🏷️
Mitglieder
Alle Mitglieder 👪
Beste Informatiker 🏆
Monatsbeste
Jahresbeste
Punkte und Prämien
Auszeichnungen 🏅
Community Chat 💬
Communities
Aktuelle Fragen
Chemie ⚗️
Informatik 💾
Mathematik 📐
Physik 🚀
Biologie & Sprachen
Übersicht
Stell deine Frage
Fragen mit Stichwort aussagenlogik
+
0
Daumen
1
Antwort
Netzwerke, unsicherheiten, gatter
Gefragt
9 Mär
von
Bjkh
aussagenlogik
+
0
Daumen
1
Antwort
Umwandlung Pränexe Normalform in Klauselmenge
Gefragt
31 Jan
von
firestorm
logik
aussagenlogik
normalform
+
0
Daumen
0
Antworten
Logik Informatik, Hilfe
Gefragt
14 Nov 2022
von
matheTUDO
aussagenlogik
logik
+
0
Daumen
1
Antwort
Frage: Aussagenlogik: Aussage in disjunktiver Normalform darstellen?
Gefragt
2 Nov 2022
von
Weggi2000
aussagenlogik
disjunktive
+
0
Daumen
0
Antworten
Wie forme ich Aufgabe 2 (a) zu Aufgabe 2 (c) um?
Gefragt
12 Okt 2022
von
Dönerspieß
mengenlehre
mengen
aussagenlogik
logik
boolesche
+
0
Daumen
1
Antwort
Zeigen Sie, dass TAUT entscheidbar ist.
Gefragt
18 Jun 2022
von
Mathe200
entscheidbar
aussagenlogik
theoretische-informatik
+
0
Daumen
1
Antwort
Aussagenlogik: Syntax und Semantik
Gefragt
15 Jun 2022
von
Mathe200
aussagenlogik
theoretische-informatik
+
0
Daumen
1
Antwort
Operatorensystem Implikation und 0
Gefragt
24 Okt 2021
von
Torsten K.
implikation
operatoren
aussagenlogik
+
0
Daumen
0
Antworten
Schlussregel im Sequenzenkalkül
Gefragt
26 Mai 2021
von
Abude
sequenzen
kalkül
aussagenlogik
schlussregel
+
0
Daumen
1
Antwort
Frage: Ist { - , 0} vollständige System von Junktoren?
Gefragt
27 Apr 2021
von
twoStones
aussagenlogik
+
0
Daumen
0
Antworten
Pumping Lemma Beweis mit zwei verschiedenen Exponeten im Wort
Gefragt
26 Apr 2021
von
Gast
pumping-lemma
reguläre-sprachen
theoretische-informatik
sprache
aussagenlogik
+
+1
Daumen
0
Antworten
1
Sprache L gegeben und zeigen, dass L nicht entscheidbar ist.
Gefragt
29 Jan 2021
von
Snowhawkk
turing
entscheidbar
maschine
prädikatenlogik
aussagenlogik
+
0
Daumen
1
Antwort
Wie bilde ich die kanonisch disjunktive Normalform aus einer gegebenen Funktion?
Gefragt
11 Dez 2020
von
Raul1904
aussagenlogik
+
0
Daumen
1
Antwort
Konjunktive Normalform (KNF) bestimmen
Gefragt
8 Aug 2020
von
Student2771
aussagenlogik
+
0
Daumen
1
Antwort
Beweis von vollständigen Operatorensystemen mit Implikation und Konstante 0
Gefragt
15 Jun 2020
von
naili
aussagen
boolesche-algebra
beweis
implikation
aussagenlogik
+
0
Daumen
0
Antworten
Die pränexe Normalform
Gefragt
17 Jan 2020
von
Anton Hermann
logik
aussagenlogik
+
0
Daumen
1
Antwort
Äquivalenzen in Aussagenlogik
Gefragt
21 Dez 2019
von
ServusTV
aussagenlogik
formel
+
0
Daumen
1
Antwort
Rückführung in Aussagenlogik
Gefragt
21 Dez 2019
von
Max Mustermann0001
aussagenlogik
formel
logik
+
0
Daumen
0
Antworten
Formeln in Aussagenlogik
Gefragt
21 Dez 2019
von
Anton Hermann
aussagenlogik
terme
formel
+
0
Daumen
0
Antworten
Aussagenlogik: Estelle im Sequenzenkalkül Links- und Rechts-Regeln für: if P then Q else R := P ∧ Q ∨ ¬P ∧ R
Gefragt
14 Dez 2019
von
FatalDestiniy08
logik
sequenzen
kalkül
terme
aussagenlogik
Seite:
1
2
3
4
nächste »
Made by a lovely
community