Caja de herramientas de inteligencia artificial para la academia y la investi...
Tabla de operadores lógicos
1. BravoVélezPedroJ.
Negación (No) (~) (¬) Conjunción (y) (^)
La negación de una proposición verdadera
es falsa. La negación de una proposición
falsa es verdadera.
A B
0 1
1 0
Si los 2 son
Verdaderos, es igual a Verdadero.
A B A ^
B
0 0 0
0 1 0
1 0 0
1 1 1
Disyunción (o) (ν) Disyunción Exclusiva (o) (ν)
Si los 2 son Falsos es igual a Falso
A B A ν B
0 0 0
0 1 1
1 0 1
1 1 1
Si los 2 son iguales es Falso
A B A ν B
0 0 0
0 1 1
1 0 1
1 1 0
Condicional (→) Bicondicional (↔)
A B A→B
0 0 1
0 1 1
1 0 0
1 1 1
Si ambos son iguales es Verdadero
A B A↔B
0 0 1
0 1 0
1 0 0
1 1 1
y
Pero
(, . ;)
SI
NO
entonces
Si A entonces B
A solo si B
B cuando A
Si
SI solo Si
Si solamente
Si