"> ГљГ? B ГљГ? C Гљ D) && (A ГљГ? B ГљГ? C ГљГ? D) & ( Г? A ГљГ? B Гљ C Гљ D) & ( Г? A ГљГ? B Гљ C ГљГ? D) && ( Г? A ГљГ? B Гљ C ГљГ? D) & ( Г? A ГљГ? B ГљГ? C Гљ D) & ( Г? A ГљГ? B ГљГ? C ГљГ? D);
СДНФ:
СДНФ будується за значеннями В«іВ» висновки в таблиці істинності;
F 2 = (A & B & C & D) Гљ (A & B & C & Г? D) Гљ (A & B & Г? C & D) Гљ Гљ (A & B & Г? C & Г? D) Гљ ( Г? A & B & C & D) Гљ ( Г? A & B & Г? C & D)