Реферат Рішення задач з логіки та обчисленню висловлювань

= C Г  B = Г? (C & Г? B); 7 = A Гљ C = Г? ( Г? A & Г? < span align = "justify"> C); 8 = D Г  (A Гљ C) = Г? D Гљ A Гљ C = Г? (D & Г? A & Г? C);

р. Для посилок і висновку побудувати КНФ, ДНФ, СКНФ, СДНФ:

КНФ:

F 1 = А - формула залишається без змін;

F 2 = B - формула залишається без змін;

F 3 = C - формула залишається без змін;

F 4 = D - формула залишається без змін;

F 5 = A Г  < span align = "justify"> B = ( Г? A Гљ B) &; 6 = C Г  B = ( Г? C Гљ B) &; 7 = A Гљ C = (A Гљ C) &; 8 = D Г  (A Гљ C) = ( Г? D Гљ

Назад | сторінка 9 з 27 | Наступна сторінка