pq ¬p ¬q ꓥ V → ← ∆ ↔ / ↓

11 0 0 1 1 1 1 0 1 0 0
10 0 1 0 1 0 1 1 0 1 0
01 1 0 0 1 1 0 1 0 1 0
00 1Doble Negación
1 0 0 1 1 Par:
0 ¬¬…¬p1 = p 1 1
Impar: ¬¬…¬p = ¬p
¬ (A ꓥ ¬B) = ¬A ꓦ B -1ꓥ1=1
Ley de Morgan
¬ (¬A ꓦ B) = A ꓥ ¬B -1∆0=1
1ꓥp=p 1 ∆ p = ¬p -1/1
0ꓥp=0 0∆p=p =0
Identidad -0ꓦ0=0
1ꓦp=1 1↔p = p
-0∆1=1
0ꓦp=p 0↔p = ¬p
- 0↓0
p ꓥ ¬p = 0
Competencia =1
¬p ꓦ p = 1 - 1→0 = 0
p ꓥ (p ꓦ q) = p - 1↔1 = 1
Total
¬p ꓦ (¬p ꓥ q) = ¬p - 0←1 = 0
Ley de Absorción
¬p ꓥ (p ꓦ q) = ¬p ꓥ q - 0↔0 = 1
Parcial
p ꓦ (¬p ꓥ q) = p ꓦ q
Conector Sistema ASA p ꓥSistema
p ꓥ p = ISO
p Función
Idempotencia A ¬p Aꓦ ¬p1 = ¬p NOT
¬A
A (A ꓥ B) ꓦ (A ꓥ B) = (A ꓥ B) (1 compuerta)
A A→B = ¬A ꓦ B
B A←BA = A&ꓦ ¬B AND
AꓥB B
A / B = ¬A ꓦ ¬B (1 compuerta)
A↓B = ¬A ꓥ ¬B
Definiciones A
¬(A ∆AB) =≥1A↔B
AꓦB B B OR
¬(A↔B) = A ∆ B
A (A ꓦ B) ꓥ (¬A ꓦ ¬B)
A ∆ B = (¬A ꓥ B) ꓦ (A ꓥ ¬B)
A∆B B A =1 XOR
A ꓥ … ꓥB¬A … ꓥ A = 0
Método Práctico
A ꓦ … ꓦ ¬A … ꓦ A = 1
A
B p ꓥ (p↔q)
A =pꓥq
A↔B A
B
= N-XOR
B p↔(p ꓥ q) = p→q
Expansión
A p ꓦ (p↔q) = p ꓦ q
B p↔(pAꓦ q) &= p←q NOT-AND
¬(A ꓥ B) B
(A ꓥ B) V (A ꓥ ¬B) = A NAND
Distribución Inversa
A
(¬A ꓦ ¬B) ꓥ (A ꓦ ¬B) = ¬B
¬ParA =↔ ≥1 NOT-OR
¬(A ꓦ B) B B
N° Negaciones ¬Impar = ∆ NOR
∆ = 1 negación
ꓦ…ꓦ…ꓦ = Se eliminan ()
ꓥ…ꓥ…ꓥ = Se eliminan ()
Extras
Si el conector del medio es igual al ()
se eliminan los ().