Use a truth table to determine that "division into cases" rule of inference is valid.