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

"> 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 & Г? < span align = "justify"> C) Гљ ; 8 = D Г  (A Гљ C) = Г? D ГљГ? ( Г? A & Г? C) Гљ ;

СКНФ:

СКНФ будується за значеннями В«лВ» висновки в таблиці істинності;

F 2 = (A ГљГ? B Гљ C Гљ D) & (A ГљГ? B Гљ C ГљГ? D) & (A

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