1 A => B
2) C => D
3) AVC /:. (A•B) V (C•D)