Usuario:Mona~eswikibooks/lógica/ejercicio 7

( P v Q ) → ( R ^ S )

v v v   v   v v v    
v v v   f   v f f
v v v   f   f f v
v v v   f   f f f
v f f   v   v v v
v f f   v   v f f
v f f   v   f f v
v f f   v   f f f
v v v   v   v v v
f v v   f   v f f
f v v   f   f f v
f v v   f   f f f
f f f   v   v v v
f f f   v   v f f
f f f   v   f f v
f f f   v   f f f