szukanie zaawansowane
 [ Posty: 1 ] 
Autor Wiadomość
Kobieta Offline
PostNapisane: 17 cze 2018, o 17:41 
Użytkownik

Posty: 29
Lokalizacja: Białystok
Mam za zadanie wskazać możliwe rezolwenty następujących klauzul \left\{ p(X,f(X))  \vee  q(a)  \vee  q(Y) \right\}, \left\{ \neg p(X,Z)  \vee  r(Z)  \vee   \neg q(X)\right\}.
Proszę o wyjaśnienie jak się to robi, bo ja nie mam pomysłu.
Uniwersytet Wrocławski Instytut Matematyczny - rekrutacja 2018
Góra
Utwórz nowy temat Odpowiedz w temacie  [ Posty: 1 ] 


 Zobacz podobne tematy
 Tytuł tematu   Autor   Odpowiedzi 
 Rezolwenta klauzuli  make  0
 Rezolwenta,rownanie Volterry  aska17  4
 Rezolwenta w równaniach różniczkowych  gwiazda55  1
 
Atom [Regulamin Forum] [Instrukcja LaTeX-a] [Poradnik] [F.A.Q.] [Reklama] [Kontakt]
Copyright (C) Karpatka.pl