Report copyright - TafelmitschriftenzurVorlesung„Logik“ imWintersemester2016/17 · Das Erfüllbarkeitsproblem der Aussagenlogik ist NP-voll-ständig.DiesgiltauchfürFormelninKNF,sogarbeimax.3LiteralenproKonjunkt
Please pass captcha verification before submit form