Descripción
Crea una matriz que representa a una tabla de verdad de una expresión booleana para todas las combinaciones de las premisas.
La tabla tiene la forma (para tres premisas):
| p | q | r | expresión |
|---|---|---|---|
| falso | falso | falso | Booleano |
| falso | falso | verdadero | Booleano |
| falso | verdadero | falso | Booleano |
| falso | verdadero | verdadero | Booleano |
| verdadero | falso | falso | Booleano |
| verdadero | falso | verdadero | Booleano |
| verdadero | verdadero | falso | Booleano |
| verdadero | verdadero | verdadero | Booleano |
Cadena de entrada
tverdad
Cadena de salida
tverdad
Uso
tverdad(<condición>[,<premisa>]+)
| Parámetros | |||
|---|---|---|---|
| # | Parámetro | Descripción | Valor por defecto |
| 1 | condición | Expresión booleana dependiente de las premisas | |
| 2+ | premisa | Nombre de variable | |
Ejemplos
tverdad(and(p,q,r,s),p,q,r,s)
VectorEvaluado: | falso falso falso falso falso | | falso falso falso verdadero falso | | falso falso verdadero falso falso | | falso falso verdadero verdadero falso | | falso verdadero falso falso falso | | falso verdadero falso verdadero falso | | falso verdadero verdadero falso falso | | falso verdadero verdadero verdadero falso | | verdadero falso falso falso falso | | verdadero falso falso verdadero falso | | verdadero falso verdadero falso falso | | verdadero falso verdadero verdadero falso | | verdadero verdadero falso falso falso | | verdadero verdadero falso verdadero falso | | verdadero verdadero verdadero falso falso | | verdadero verdadero verdadero verdadero verdadero |
tverdad([p->q],p,q)
VectorEvaluado: | falso falso [verdadero] | | falso verdadero [verdadero] | | verdadero falso [falso] | | verdadero verdadero [verdadero] |
realdoble(tverdad([p&&(q||r)],p,q,r))
VectorEvaluado: | 0 0 0 [0] | | 0 0 1 [0] | | 0 1 0 [0] | | 0 1 1 [0] | | 1 0 0 [0] | | 1 0 1 [1] | | 1 1 0 [1] | | 1 1 1 [1] |
tverdad(eval(proposicion+': '+stexto(eval(proposicion,true)),proposicion,'p->q&&!r'),p,q,r)
VectorEvaluado: | falso falso falso 'p->q&&!r: verdadero' | | falso falso verdadero 'p->q&&!r: verdadero' | | falso verdadero falso 'p->q&&!r: verdadero' | | falso verdadero verdadero 'p->q&&!r: verdadero' | | verdadero falso falso 'p->q&&!r: falso' | | verdadero falso verdadero 'p->q&&!r: falso' | | verdadero verdadero falso 'p->q&&!r: verdadero' | | verdadero verdadero verdadero 'p->q&&!r: falso' |
con cabeceras:
[['p','q','r','p O q IMP NO r Y q']];;tverdad(p||q->!r&&q,p,q,r)
VectorEvaluado: | 'p' 'q' 'r' 'p O q IMP NO r Y q' | | falso falso falso verdadero | | falso falso verdadero verdadero | | falso verdadero falso verdadero | | falso verdadero verdadero falso | | verdadero falso falso falso | | verdadero falso verdadero falso | | verdadero verdadero falso verdadero | | verdadero verdadero verdadero falso |
Véase también…