p q r pvq pvr (p v q) ꓥ (p v r)

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

p q (-q) p↔~q
v v f f
v f v v p q
f v f v v v
f f v f v v
v f
p q r q^r p ↔ (q ^ r) v f
v v v v v f v
v v f f f f v
v f v f f f f
v f f f f f f
f v v v f
f v f f v
f f v f v
f f f f v
r (-p) (-q) (-p^-q) (¬p ^ ¬ q) →r
v f f f v
f f f f v
v f v f v
f f v f v
v v f f v
f v f f v
v v v v v
f v v v f