(a A b V -c)
| ||||
a
|
b
|
c
|
a A b
|
(a A b) V -c
|
0
|
0
|
0
|
0
|
1
|
0
|
0
|
1
|
0
|
0
|
0
|
1
|
0
|
0
|
1
|
0
|
1
|
1
|
0
|
0
|
1
|
0
|
0
|
0
|
1
|
1
|
0
|
1
|
0
|
0
|
1
|
1
|
0
|
1
|
1
|
1
|
1
|
1
|
1
|
1
|
-(a A -a)
|
|||
a
|
-a
|
a A –a
|
-(a A –a)
|
0
|
1
|
0
|
1
|
1
|
0
|
0
|
1
|
3. 4.
-(a V b)
|
|||
a
|
b
|
a V b
|
-(a V b)
|
0
|
0
|
0
|
1
|
0
|
1
|
1
|
0
|
1
|
0
|
1
|
0
|
1
|
1
|
1
|
0
|
(a <-->
b) V (a <--> b)
|
|||
a
|
b
|
a
<--> b
|
(a <-->
b)V(a <--> b)
|
0
|
0
|
1
|
0
|
0
|
1
|
0
|
0
|
1
|
0
|
0
|
0
|
1
|
1
|
1
|
0
|
5.
( a XOR
b) à a
|
|||
a
|
b
|
a XOR b
|
( a XOR
b) à a
|
0
|
0
|
0
|
1
|
0
|
1
|
1
|
0
|
1
|
0
|
1
|
1
|
1
|
1
|
0
|
1
|
No hay comentarios:
Publicar un comentario