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

="justify"> Г? , &} і { Г? , Гљ }:

Базис { Г? , Гљ }:

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 - формула залишається без змін;

F 8 = D Г  < span align = "justify"> (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 ...