Г < span align = "justify"> B = Г? A Гљ B; 3 = (C & A) Г (B & C) = Г? ( C & A) Гљ (B & C) = Г? C Гљ Г? A Гљ (B & C) = Г? C Гљ Гљ Г? A < span align = "justify"> Гљ Г? ( Г? B ГљГ? C);
р. Для посилок і висновку побудувати КНФ, ДНФ, СКНФ, СДНФ:
КНФ:
F 1 = A - ця формула залишається без змін;
F 2 = A Г < span align = "justify"> B = ( Г? A Гљ B) &; 3 = (C & A) Г (B & C) = Г? (C & A) v (B & C) = ( Г? CV Г? A) V (B & C) =
= ( Г? CV Г? < span align = "justify"> A) V (B & C) = ( Г? CV Г? AVB) & ( Г? CV Г? AVC) = ( Г? CV Г? AVB) &
& ( Г?
