-AB-C v AB-C = B-C (-A v A) = B-C
AB-C v ABC = AB (-C v C) = AB
B-C v A-B-C = -C (B v A-B) = -C (A v B) = A-C v B-C
-AB-C v A-B-C v AB-C v ABC = (-AB-C v AB-C) v A-B-C v (AB-C v ABC) = B-C v A-B-C v AB = A-C v B-C v AB
-AB-C v AB-C = B-C (-A v A) = B-C
AB-C v ABC = AB (-C v C) = AB
B-C v A-B-C = -C (B v A-B) = -C (A v B) = A-C v B-C
-AB-C v A-B-C v AB-C v ABC = (-AB-C v AB-C) v A-B-C v (AB-C v ABC) = B-C v A-B-C v AB = A-C v B-C v AB