Упростить: СДНФ: -AB-C...

Тема в разделе "Информатика", создана пользователем bul-bul, 31 янв 2010.

  1. bul-bul

    bul-bul New Member

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

    gulzar New Member

    -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
     
     
     
     

Поделиться этой страницей

Наша группа