formulario para ordinario en sistemas logicos
TRANSCRIPT
GLOSARIO
¬ Negación
˄ “y” conjunción
˅ “o” disyunción
Condición implicación
“si, entonces” (dos cosas a huevo) ej. Hay sol porque es de día
↔Bicondicional – doble
implicación
“si, y solo si”
= Igual
≠ Desigual
ʊ Universo
ᴖ Intercepción
U Unión
Ø Conjunto Vacío
X Producto Cartesiano
C Subconjunto
€ Pertenece
€Ɇ No pertenece
EAristas (Líneas que van al
vértice)
VVértice (El punto donde
se unen las líneas)
TABLA DE VERDAD CONJUNCION “Y”P Q p˄q0 0 00 1 01 0 01 1 1
Solo es verdadero cuando p y q son verdaderasTABLA DE VERDAD “O” DISYUNCIONP P P0 0 0Solo es falso cuando p y q son falsas0 1 11 0 11 1 1TABLA DE VERDAD IMPLICACION
P Q pq0 0 10 1 11 0 0
Solo es falsa cuando p es verdadera y q es falsa1 1 1
TABLA DE VERDAD ↔ BICONDICIONALP P P0 0 10 1 01 0 01 1 1
Cuando p y q son iguales son verdaderos
NOT A B0 11 0
ANDA B C0 0 00 1 01 0 01 1 1
ORA B C0 0 00 1 11 0 11 1 1
NAND (contrario de AND)A B C0 0 10 1 11 0 11 1 0
NOR (contrario de OR)A B C0 0 10 1 01 0 01 1 0
XORA B C0 0 00 1 11 0 11 1 0
NOR – EX (contrario de XOR)A B C0 0 10 1 01 0 01 1 1
Binario a Decimal
*2˄2 *2˄1 *2˄0Octal a Decimal(0,1,2,3,4,5,6,7)
*8˄2 *8˄1 *8˄0Hexadecimal a Decimal
(0,1,2,3,4,5,6,7,8,9,A,B,C,D,E,F)*16˄2 *16˄1 *16˄0
Suma en Binario0 0 00 1 11 0 11 1 0 (acarrea 1)
Resta en Binario0 0 01 0 11 1 0
0 1 1 (llevo 1 abajo)
Multiplicación en Binario0 0 00 1 01 0 01 1 1
NOT:
AND:
OR:
NAND:
NOR:
XOR:
NOR – EX: