De Morgans lagar
De Morgans lagar är två lagar inom logiken som kan användas för att förenkla eller skriva om påståenden.- icke (P och Q) = (icke P) eller (icke Q)
- icke (P eller Q) = (icke P) och (icke Q)
Första lagen kan visas med följande sanningstabell:
P Q P och Q icke (P och Q) icke P icke Q (icke P) eller (icke Q) falskt falskt falskt sant sant sant sant falskt sant falskt sant sant falskt sant sant falskt falskt sant falskt sant sant sant sant sant falskt falskt falskt falskt
Se även:
- Boolesk algebra
- Satslogik
- Sanningstabell
Artikeln skriven 2009-01-18 av Learning4sharing
Inga kategorier för denna artikel än...Intresserad av fler artiklar?
EllerBaltzar von Platen
Ludvig Wilhelm August Douglas
Arvid Lindman
Östen Undén
Ernst Trygger
Karin Söder
Carin Jämtin
Jan Eliasson