Uma vez que V(p)=V, V(q)=F, V(s)=V e V(r)=F, então V(p→~q), V(p v ~r), V(s v r), V(~s v r) e V(p ^ q ^ ~s), são respectivamente:
V, V, V, F, F
F,... Uma vez que V(p)=V, V(q)=F, V(s)=V e V(r)=F, então V(p→~q), V(p v ~r), V(s v r), V(~s v r) e V(p ^ q ^ ~s), são respectivamente:
V, V, V, F, F
F,...