Wetten van de propositielogica - Logische equivalentie - Normaalvormen

4 belangrijke vragen over Wetten van de propositielogica - Logische equivalentie - Normaalvormen

Wanneer wordt de disjunctieve normaalvorm toegepast?


DNV = disjunctie van conjuncties (..^..^...^...) v (...^...^...^...)v ....etc
Toepassingen:
  • Afleiden voor welke waarderingen de formule waar is
  • Afleiden of de formule een tautologie/contradictie/contingentie is

Hoe zet je een formule om in een DNV?

  1. Elimineer met implicatie-eliminatie en equivalentie-eliminatie
  2. Duw de negatietekens naar binnen met Dubbele negatie en De Morgan
  3. Distribueer ^ over v


Ezelsbruggetje = IEmand Duwt De Man Omver

Wanneer wordt de conjunctieve normaalvorm toegepast?

CNV = conjunctie van disjuncties

Toepassingen:
  • Bepalen of een formule een tautologie is
  • Een prolog programma is op te vatten als een CNV
  • Een prolog programma bestaat uit feiten en regels(kennissystemen)
  • Databases bijwerken met nieuwe informatie
  • Hogere cijfers + sneller leren
  • Niets twee keer studeren
  • 100% zeker alles onthouden
Ontdek Study Smart

Hoe krijg je een formule in CNV?

Dezelfde stappen als bij een DNV, maar bij stap drie v over n distribueren.

De vragen op deze pagina komen uit de samenvatting van het volgende studiemateriaal:

  • Een unieke studie- en oefentool
  • Nooit meer iets twee keer studeren
  • Haal de cijfers waar je op hoopt
  • 100% zeker alles onthouden
Onthoud sneller, leer beter. Wetenschappelijk bewezen.
Trustpilot-logo