Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Scribd
Cargar
64 vistas3 páginas

Tablas de Verdad

Cargado por

DARWIN GEOVANNI CACEROS JACOME

Los documentos presentan tablas de verdad de diferentes expresiones lógicas, incluyendo conectivos como implicación, conjunción, disyunción y negación. Cada tabla muestra los valores de verdad de las subexpresiones y la expresión completa para todas las combinaciones posibles de valores de las variables proposicionales involucradas.

Copyright:

© All Rights Reserved
Descargue como PDF, TXT o lea en línea desde Scribd
Descargar como pdf o txt

Tablas de Verdad

Cargado por

DARWIN GEOVANNI CACEROS JACOME
64 vistas3 páginas
Los documentos presentan tablas de verdad de diferentes expresiones lógicas, incluyendo conectivos como implicación, conjunción, disyunción y negación. Cada tabla muestra los valores de verdad de las subexpresiones y la expresión completa para todas las combinaciones posibles de valores de las variables proposicionales involucradas.

Descripción original:

Tablas de verdad

Título original

Tablas de verdad

Derechos de autor

© © All Rights Reserved

Formatos disponibles

PDF, TXT o lea en línea desde Scribd

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Los documentos presentan tablas de verdad de diferentes expresiones lógicas, incluyendo conectivos como implicación, conjunción, disyunción y negación. Cada tabla muestra los valores de verdad de las subexpresiones y la expresión completa para todas las combinaciones posibles de valores de las variables proposicionales involucradas.

Copyright:

© All Rights Reserved
Descargue como PDF, TXT o lea en línea desde Scribd
Descargar como pdf o txt
64 vistas3 páginas

Tablas de Verdad

Cargado por

DARWIN GEOVANNI CACEROS JACOME
Los documentos presentan tablas de verdad de diferentes expresiones lógicas, incluyendo conectivos como implicación, conjunción, disyunción y negación. Cada tabla muestra los valores de verdad de las subexpresiones y la expresión completa para todas las combinaciones posibles de valores de las variables proposicionales involucradas.

Copyright:

© All Rights Reserved
Descargue como PDF, TXT o lea en línea desde Scribd
Descargar como pdf o txt
Está en la página 1/ 3

Trabajo sobre: Tablas De Verdad.

1. ((A→B) → (¬A v B))

a b ¬a (A→B) (¬A v B) ((A→B) → (¬A v B))

0 0 1 1 1 1

0 1 1 1 1 1

1 0 0 0 0 1

1 1 0 1 1 1

2. ((( f → ( g ^ h )) ^ f ) → ( h ^ g ))

f g h (g^h) (h^g) ( f → ( g ^ h )) ((( f → ( g ^ h )) ^ f ) ((( f → ( g ^ h )) ^ f ) → ( h ^ g ))


0 0 0 0 0 1 0 1
0 0 1 0 0 1 0 1
0 1 0 0 0 1 0 1
0 1 1 1 1 1 0 1
1 0 0 0 0 0 0 1
1 0 1 0 0 0 0 1
1 1 0 0 0 0 0 1
1 1 1 1 1 1 1 1

3. (( ¬p → (r → ¬t )) → (r → ¬t))

p r t ¬p ¬t (r → ¬t ) (( ¬p → (r → ¬t )) (( ¬p → (r → ¬t )) → (r → ¬t))
0 0 0 1 1 1 1 1
0 0 1 1 0 1 1 1
0 1 0 1 1 1 1 1
0 1 1 1 0 0 0 1
1 0 0 0 1 1 1 1
1 0 1 0 0 1 1 1
1 1 0 0 1 1 1 1
1 1 1 0 0 0 1 0
4. ((( p ^ q ) → r ) → ( r v ¬ ( p ^ q )))

p q r (p^q) ¬(p^q) (( p ^ q ) → r ) (rv¬(p^q) ((( p ^ q ) → r ) → ( r v ¬ ( p ^ q )))


0 0 0 0 1 1 1 1
0 0 1 0 1 1 1 1
0 1 0 0 1 1 1 1
0 1 1 0 1 1 1 1
1 0 0 0 1 1 1 1
1 0 1 0 1 1 1 1
1 1 0 1 0 0 0 1
1 1 1 1 0 1 1 1

5. (( x v ( y ^ z )) → (( x v y) ^ z ))

x y Z (y^z) ( x v y) (( x v ( y ^ z )) (( x v y) ^ z )) (( x v ( y ^ z )) → (( x v y) ^ z ))

0 0 0 0 0 0 0 1
0 0 1 0 0 0 0 1
0 1 0 0 1 0 0 1
0 1 1 1 1 1 1 1
1 0 0 0 1 1 0 0
1 0 1 0 1 1 1 1
1 1 0 0 1 1 0 0
1 1 1 1 1 1 1 1

También podría gustarte