λ Programske paradigme
  1. Početna
  2. Knjiga
  3. 4. Predikatska logika
  4. 3 Normalne forme

3 Normalne forme

Članci
1 Negaciona normalna forma - NNF
2 Prenex normalna forma
3 Pravila transformacija
Primer 1
Primer 2
Primer 3

U ovom poglavlju

  • 3 Normalne forme
    • 1 Negaciona normalna forma - NNF
    • 2 Prenex normalna forma
    • 3 Pravila transformacija
    • Primer 1
    • Primer 2
    • Primer 3

Sadržaj

  • 1. Uvod
  • 2. Iskazna logika
    • 1. Baratanje iskazima
    • 2. Normalne forme i minimizacija
    • 3. Problem zadovoljivosti
    • 4. Uslovni iskazi i pravila zaključivanja
    • 5. Iskazna logika i skupovi
  • 3. Veštačka inteligencija
  • 4. Predikatska logika
    • 1 Uvod
    • 2 Sintaksa i semantika logike prvog reda
    • 3 Normalne forme
  • 5. Logičko programiranje

Content on this site is licensed under a Creative Commons Attribution 4.0 International license. Icons by The Noun Project.

CC BY-NC-ND