VALOR

SÌMBOLO
1 0
Proposición p 1 0
p q
1 1
1 0
0 1
0 0
p q r
1 1 1
1 1 0
1 0 1
1 0 0
0 1 1
0 1 0
0 0 1
0 0 0
 CONECTIVAS

Funciòn

Ejemplo No 1 Ejemplo No 2

Funciòn MULTIPLICACIÒN Maquina exp. Chocolates

Toma como argumentos Toma como argumentos

2 2 Dinero Selecciòn
producto

Arroja Arroja

4 Empaque Chocolate
 NEGACIÓN CONJUNCIÓN
p ¬p p q p∧q
1 0 1 1 1
0 1 1 0 0
0 1 0
0 0 0

CONDICIONAL
p q p->q
1 1 1
1 0 0
0 1 1
0 0 1
 DISYUNCIÓN
p q p∨q
1 1 1
1 0 1
0 1 1
0 0 0

BICONDICIONAL
p q p->q q->p (p->q)∧(q->p) p<-->q
1 1 1 1 1 1
1 0 0 1 0 0
0 1 1 0 0 0
0 0 1 1 1 1
 AND
A B L
1 1 1
1 0 0
0 1 0
0 0 0

NOT
A L A
1 0 1
0 1 1
0
0

A
1
1
0
0
 OR
A B L
1 1 1
1 0 1
0 1 1
0 0 0

NAND
B A∧B - (A∧B) - (A) - (B) (-A) ∨ (-B) A
1 1 0 0 0 0 1
0 0 1 0 1 1 1
1 0 1 1 0 1 0
0 0 1 1 1 1 0

NOR
B A ∨B (-)( A ∨ B ) - (A) - (B) (-A) ∧ (-B) A
1 1 0 0 0 0 1
0 1 0 0 1 0 1
1 1 0 1 0 0 0
0 0 1 1 1 1 0
 XOR
B - (A) - (A) ∧ B - (B) A ∧ (-B) ( - (A) ∧ B) V (A ∧ (-B))
1 0 0 0 0 0
0 0 0 1 1 1
1 1 1 0 0 1
0 1 0 1 0 0

XNOR
B A∧B - (A) - (B) (-A) ∧ (-B) (A∧B) V ( (-A) ∧ (-B))
1 1 0 0 0 1
0 0 0 1 0 0
1 0 1 0 0 0
0 0 1 1 1 1
i0.1 i0.2 i0.3 i0.4 i0.5
1 1 1 1 1
1 1 1 1 0
1 1 1 0 1
1 1 1 0 0
1 1 0 1 1
1 1 0 1 0
1 1 0 0 1
1 1 0 0 0
1 0 1 1 1
1 0 1 1 0
1 0 1 0 1
1 0 1 0 0
1 0 0 1 1
1 0 0 1 0
1 0 0 0 1
1 0 0 0 0
0 1 1 1 1
0 1 1 1 0
0 1 1 0 1
0 1 1 0 0
0 1 0 1 1
0 1 0 1 0
0 1 0 0 1
0 1 0 0 0
0 0 1 1 1
0 0 1 1 0
0 0 1 0 1
0 0 1 0 0
0 0 0 1 1
0 0 0 1 0
0 0 0 0 1
0 0 0 0 0