This document contains 7 logic expressions in propositional logic with their truth tables. Each expression uses propositional variables p, q, r, s and logical operators such as negation, disjunction, conjunction and conditionals. The truth tables show the truth value of each subexpression and the main expression for all possible combinations of truth value assignments to the propositional variables.

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