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

n align="justify"> A);

ДНФ:

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

F 2 = A Г  < span align = "justify"> B = ( Г? (A & Г? B)) Гљ ; 3 = (C & A) Г  (B & ; C) = Г? ((C & A) & Г? (B & C)) = Г? ( < span align = "justify"> Г? (C & A) Гљ (B & C));

СКНФ:

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

F 3 = (C & A) Г  (B & C) = (A ГљГ? B < span align = "justify"> Гљ C) &;

СДНФ:

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

F 3 = (C & A) Г  (B & C) = (A & B & C) Гљ ( A & B & Г? C) Гљ (A & Г? B & Г? C) Гљ Гљ ( Г? A & B & C) < span align = "justify"> Гљ ( Г? A & B & Г? C) Гљ ( Г? A & Г? B & C) Гљ ( Г? A & ...