stify"> 1101 0
0 11
1011 0
0 10
1011 0
0 01
1100 0
0 00
1101 У таблиці істинності жирним шрифтом виділено стовпці з посилками, а жирним і курсивом виділено висновок. Дивлячись на ті рядки, в яких істини всі посилки одночасно (в даному випадку це перша, третя, дев'ята, які виділені жирною рамкою), видно, що укладення також істинно. Тому можна зробити висновок, що даний висновок виводиться з даної множини посилок. p align="justify"> Б. Спростити посилки і укладання, тобто привести їх до базисного безлічі { Г? , &, Гљ } з мінімальним числом операцій:
F 1 = А - формула залишається без змін;
F 2 = B - формула залишається без змін;
F 3 = C - формула залишається без змін;
F 4 = D - формула залишається без змін;
F 5 = A Г < span align = "justify"> B = Г? A Гљ span> B; 6 = C Г B = Г? C Гљ B; 7 = A Гљ C - формула залишається без змін;
F 8 = D Г < span align = "justify"> (A Гљ C) = Г? D Гљ A Гљ C;
в. Привести посилки і висновок до базисам {