![1) [(pV-q) ^ -p] -q
P Q -q -s pV-q (pV-q)
1 1 0 0 1 0
1 0 0 1 1 0
0 1 1 0 0 0
0 0 1 1 1 1
2) (-p^B) (pVq )
P Q -p (-p^Q) (pVq ) A B
1 1 0 0 1 1
1 0 0 0 1 1
0 1 1 1 1 1
0 0 1 0 0 1
3) -[ (p q ) (-pVq) ]
P Q -p (p q) (p q) (-pVq) A A B -[ A B ]
1 1 0 1 1 1 0
1 0 0 0 0 1 0
0 1 1 1 1 1 0
0 0 1 1 1 1 0
4) [ ( p^q) ^-r ]
P Q R -r ( p^q) A^-r
1 1 1 0 1 0
1 1 0 1 1 1
1 0 1 0 0 0
1 0 0 1 0 0
0 1 1 0 0 0
0 1 0 1 0 0
0 0 1 0 0 0
0 0 0 1 0 0](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Recommended
More Related Content
Viewers also liked
Recently uploaded
Recently uploaded (20)
Actividad 7
- 1. ACTIVIDAD 7 JHON ALVARES Y MARBELLA VEGA PRESENTADO A ANA MILENA CONTRERAS UNUVERSIDAD PEDAGOGICA Y TECNOLOGICA DE COLOMBIA SOGAMOSO 2016
- 2. 1) [(pV-q) ^ -p] -q P Q -q -s pV-q (pV-q) 1 1 0 0 1 0 1 0 0 1 1 0 0 1 1 0 0 0 0 0 1 1 1 1 2) (-p^B) (pVq ) P Q -p (-p^Q) (pVq ) A B 1 1 0 0 1 1 1 0 0 0 1 1 0 1 1 1 1 1 0 0 1 0 0 1 3) -[ (p q ) (-pVq) ] P Q -p (p q) (p q) (-pVq) A A B -[ A B ] 1 1 0 1 1 1 0 1 0 0 0 0 1 0 0 1 1 1 1 1 0 0 0 1 1 1 1 0 4) [ ( p^q) ^-r ] P Q R -r ( p^q) A^-r 1 1 1 0 1 0 1 1 0 1 1 1 1 0 1 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0
- 3. 5) [(r p) ^(-p Vr)] P R -p (r p) (-pVr) A^B 1 1 0 1 1 1 1 0 0 1 0 0 0 1 1 0 1 0 0 0 1 1 1 1 6) [(sVp) -q]V( s p) S P q -q (sVp) (s p) (A B) (CVD) 1 1 1 0 1 1 0 1 1 1 0 1 1 1 1 1 1 0 1 0 1 0 0 0 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 0 1 0 1 1 1 1 1 0 0 1 0 0 1 1 1 0 0 0 1 0 1 1 1 7) -q [(pVr) ^ q] P Q R -q (pVr) A^ q -q C 1 1 1 0 1 1 1 1 1 0 0 1 1 1
- 4. 1 0 1 1 1 0 0 1 0 0 1 1 0 0 0 1 1 0 1 1 1 0 1 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 1 0 0 0