Trabalhos
P’->(q+0)
P’->(0+0)
P’->0
0
Não depende de “p”
Não depende de “q” b-(p<->q)+(q->p’),V(q)=0 (p<->0)+(0->p’) (p<->0)+(0->p’)
(0<->0)+(0->0) (1<->0)+(0->1)
1+0 0+1 1 1
Não depende de “p” c-P.[q’->(r.s)],V(p)=0 0.[q’->(r.s)]
0.[q’->(0.0)] 0.[q’->(1.1)]
0.[q’->0] 0.[1’->1]
0.[0’->0] 0.[1]
0.0 0.1
0 0
Não depende de “r”
Não depende de “q”
Não depende de “s’’ d-P->(q.s),V(p)=1 1->(q.s)
1->(0.0) 1->(1.1)
1->0 1->1
0 1
Depende de “q” &“s” se ambos forem “1” e-(p’+r)->(q->s),V(q)=0 (p’+r)->(0->s) (p’+r)->(0->s)
(0+0)->(0->0) (0+0)->(0->1)
0->1 0->1 1 1
Não depende de “r”
Não depende de “q”
Não depende de “s’’ f-(p->r).s,V(r )=1
(p->1).s (p->1).s
(0->1).0 (1->1).1
1.0 1.1 0 1
Depende de “s” quando este é “1”
g-p->(r+s),V(r )=1 p->(1+s) p->(1+s)
1->(1+1) 1->(1+0)
1->1 1->0
1 0
Depende de “s” quando este é