Mengen, Abbildungen und Logik: Folge 57: Erfüllbarkeitsproblem von Formeln in KNF: 2SAT
HTML-код
- Опубликовано: 15 сен 2024
- Mengen, Abbildungen zwischen Mengen und Aussagenlogik: Folge 57 der Reihe: Erfüllbarkeitsproblem von Formeln in konjunktiver Normalform: 2SAT (2-Satisfiability)
- Наука