Упростить: СДНФ: -AB-C v A-B-C v AB-C v ABC - отрицание

Question

Упростить: СДНФ: -AB-C v A-B-C v AB-C v ABC - отрицание

Answer 1

-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