Jede Formel in Logik erster Stufe kann äquivalent umgeformt werden in Negationsnormalform (NNF) und auch in Pränexnormalform (PNF), und sogar in eine Formel, die gleichzeitig in NNF und PNF ist.
- Күн бұрын
Logik erster Stufe #7 - Normalformen
- Рет қаралды 4,390
Пікірлер: 2