:сднф: -ab-c v a-b-c v ab-c v abc - отрицание

-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