Logikk
Moderators: Vektormannen, espen180, Aleks855, Solar Plexsus, Gustav, Nebuchadnezzar, Janhaa
Jeg må tilstå at jeg ikke er helt sikker på hva du mener med konjunktive og disjunktive formler. Tablåmetoden kjenner jeg ikke til.
I utsagns(setnings)-logikken opererer en med begrepene konjunktiv- resp. disjunktiv normalform. Du kan finne kortfattede definisjoner her. http://www.uio.no/studier/emner/matnat/ ... ver-06.pdf.
Begrepene kan sammenlignes med uttrykkene standard sum og standard produkt som benyttes innenfor Boolsk algebra.
I utsagns(setnings)-logikken opererer en med begrepene konjunktiv- resp. disjunktiv normalform. Du kan finne kortfattede definisjoner her. http://www.uio.no/studier/emner/matnat/ ... ver-06.pdf.
Begrepene kan sammenlignes med uttrykkene standard sum og standard produkt som benyttes innenfor Boolsk algebra.