новок, що даний висновок виводиться з даної множини посилок. br/>
б. Спростити посилки і укладання, тобто привести їх до базисного безлічі { Г? , &, Гљ } з мінімальним числом операцій:
F 1 = A - ця формула залишається без змін;
F 2 = A Г < span align = "justify"> B = Г? A Гљ B; 3 = (C & A) Г (B & C) = Г? ( C & A) Гљ (B & C) = Г? C Гљ Г? A Гљ (B & C);
в. Привести посилки і висновок до базисам { Г? , &} і { Г? , Гљ }:
Базис { Г? , &}:
F 1 = A - ця формула залишається без змін;
F 2 = A Г < span align = "justify"> B = Г? (A & Г? B); 3 = (C & A) Г (B & C) = Г? ((C & A) & Г? (B & C)) = Г? (C & A & Г? ( B & C));
Базис { Г? , Гљ }:
F 1 = A - ця формула залишається без змін;
F 2 = A ...
