Upload
leonel-morales-diaz
View
44
Download
2
Embed Size (px)
Citation preview
2 de 7
NAnd y NOr NAnd
• Negated And
• Sheffer stroke
• (~(P & Q) (P Q)) Tabla de verdad
P Q P Q0 0 10 1 11 0 11 1 0
3 de 7
NAnd y NOr NAnd
• Negated And
• Sheffer stroke
• (~(P & Q) (P Q)) Tabla de verdad
P Q P Q0 0 10 1 11 0 11 1 0
NAnd y negaciónP (P P) ~P0 1 11 0 0
4 de 7
NAnd y NOr NOr
• Negated Or
• Peirce stroke
• (~(P v Q) (P Q)) Tabla de verdad
P Q P Q0 0 10 1 01 0 01 1 0
5 de 7
NAnd y NOr NOr
• Negated Or
• Peirce stroke
• (~(P v Q) (P Q)) Tabla de verdad
P Q P Q0 0 10 1 01 0 01 1 0
NOr y negaciónP (P P) ~P0 1 11 0 0
6 de 7
Observación
Operadores nuevos:• Nand
• Nor
• Doble implicación
Todos son definibles en terminos de:• ~, &, v
También el condicional ()
7 de 7
Pregunta
¿Se puede poner & en términos de ~ y v?• ¿Y v en términos de ~ y &?