Suche
Related Media
Videos
TI 2015-01-14 02 SAT und der Satz von Cook-Levin
- von: Weitz
- hochgeladen: 15.01.2015
- Aufrufe: 328
-
(0 Rating)
-
(0 Likes)
Beschreibung:
SAT und der Satz von Cook-Levin
Tags:
Kategorien:
1 Kommentare
Weitz 15. Januar 2015 01:03:28 CET
Die Formel bei ca. 20:30 ist natürlich nicht in konjunktiver, sondern in disjunktiver Normalform.