1. TABLAS LÓGICAS EN CROCODILE
Cada tabla lógica tiene su equivalente en Crocodile gracias a su representación en electrónica
digital, podemos decir que las tablas que utilizamos en lógica tienen la siguiente correspondencia:
P Q P ^ Q
F F F
F V F
V F F
V V V
P Q P v Q
F F F
F V F
V F F
V V V
P ~P
F V
V F
CONSTRUCCIÓN DE UNA TABLA LÓGICA
1. Abrimos el programa y seleccionamos el icono en el que aparece la compuerta digital :
P Q P ^ Q
0 0 0
0 1 0
1 0 0
1 1 1
P Q P v Q
0 0 0
0 1 0
1 0 0
1 1 1
P ~p
0 1
1 0

2. 2. Procedemos a bajar las proposiciones P y Q
3.Seleccionamos la compuerta Lógica "y" (^) , un indicador a la salida y queda conformada la
tabla de la "y" lo único que hace falta es comprobarla:
COMPROBACIÓN DE LOS VALORES DE VERDAD DE UNA TABLA DE VERDAD
El ejemplo lo haremos con la tabla lógica de la "y"
Comenzamos por la primera fila, cuando los pulsadores de P y Q no son oprimidos estos se
encuentran en falso, el resultado es falso:
P Q P ^ Q
F F F
F V F
V F F
V V V

3. Cuando el pulsador de P se encuentra sin oprimir (falso ) y el de Q esta oprimido (verdadero) el
resultado es falso:
P Q P ^ Q
F F F
F V F
V F F
V V V
Cuando el Pulsador de P se encuentra oprimido ( verdadero) y el de Q se encuentra en falso ( sin
oprimir ), su resultado es falso .
P Q P ^ Q
F F F
F V F
V F F
V V V
Cuando el pulsador de P se encuentra oprimido (verdadero) y el de Q se encuentra en verdadero (
oprimido) el resultado es verdadero.
P Q P ^ Q
F F F
F V F
V F F
V V V

4. Para la construcción y comprobación de las demás tablas lógicas procedemos con los mismos 3
pasos y la comprobación la hacemos de de igual forma que lo hicimos con la "y" .
P Q P v Q
F F F
F V F
V F F
V V V
P ~P
F V
V F
P Q P v Q
0 0 0
0 1 0
1 0 0
1 1 1
P ~p
0 1
1 0