Download as pdf or txt
Download as pdf or txt
You are on page 1of 3

Nombre: Vera SilvestreJosé Antonio

Taller
En base a la clase de ayer realizar los siguientes ejercicios:

a b c d dVb a ---> c b Ʌ (a--->c) (d V b) Ʌ (b Ʌ(a--->c)) [(d V b) Ʌ (b Ʌ (a--->c))] ---> c

0 0 0 0 0 1 0 0 1
0 0 0 1 1 1 0 0 1
0 0 1 0 0 1 0 0 1
0 0 1 1 1 1 0 0 1
0 1 0 0 1 1 1 1 0
0 1 0 1 0 1 1 0 1
0 1 1 0 1 1 1 1 1
0 1 1 1 0 1 1 0 1
1 0 0 0 0 0 0 0 1
1 0 0 1 1 0 0 0 1
1 0 1 0 0 1 0 0 1
1 0 1 1 1 1 0 0 1
1 1 0 0 1 0 0 0 1
1 1 0 1 0 0 0 0 1
1 1 1 0 1 1 1 1 1
1 1 1 1 0 1 1 0 1
a b c --- c aɅb b ---> --- c (a Ʌ b) V (b ---> ---c)
0 0 0 1 0 1 1
0 0 1 0 0 1 1
0 1 0 1 0 1 1
0 1 1 0 0 0 0
1 0 0 1 0 1 1
1 0 1 0 0 1 1
1 1 0 1 1 1 1
1 1 1 0 1 0 1

b c d --- c --- c --->d b V (---c --->d) --- (b V (---c --->d))


0 0 0 1 0 0 1
0 0 1 1 1 1 0
0 1 0 0 1 1 0
0 1 1 0 1 1 0
1 0 0 1 0 1 0
1 0 1 1 1 0 1
1 1 0 0 1 0 1
1 1 1 0 1 0 1
a b c aɅb (a Ʌ b) V c bVc a Ʌ (b V c) ((a Ʌ b) V c) <------> (a Ʌ (b V c))
0 0 0 0 0 0 0 1
0 0 1 0 1 1 0 0
0 1 0 0 0 1 0 1
0 1 1 0 1 1 0 0
1 0 0 0 0 0 0 1
1 0 1 0 1 1 1 1
1 1 0 1 1 1 1 1
1 1 1 1 1 1 1 1

You might also like