Aussagenlogik #12 - Erfüllbarkeit und Gültigkeit

Sdílet
Vložit
  • čas přidán 11. 09. 2024
  • iltis.cs.tu-do...
    Wir sehen uns das Erfüllbarkeitsproblem (SAT) und das Gültigkeitsproblem der Aussagenlogik an. Aufgrund der Dualität besteht ein enger Zusammenhang zwischen diesen Problemen.

Komentáře • 8