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?
- Elimineer met implicatie-eliminatie en equivalentie-eliminatie
- Duw de negatietekens naar binnen met Dubbele negatie en De Morgan
- Distribueer ^ over v
Ezelsbruggetje = IEmand Duwt De Man Omver
Wanneer wordt de conjunctieve normaalvorm toegepast?
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
Hoe krijg je een formule in CNV?
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