daily pastebin goal
7%
SHARE
TWEET

Untitled

a guest Jun 13th, 2018 43 Never
Upgrade to PRO!
ENDING IN00days00hours00mins00secs
 
  1. Ok, więc żeby rozwiązać ten problem, to wydaje mi się, że trzeba użyć analitic tableaux. Zaimplementowanie każdego symbolu logicznego (jest ich dziewięć) jako instrukcji warunkowych dla programu. Dzięki temu możemy rozbić każdą formułę na interesujący nas zbiór, na przykład implikację na negację itd.
  2.  
  3. Dlatego program powinien opierać się na zbiorze pętli, które będą odbywały się do tego momentu, dopóki nie zmienimy formuły na zawierającą wpisane wcześniej symbole.
  4.  
  5. Jakbym to zrobił w pseudokodzie?
  6.  
  7. Na początku matchowanie wszystkich symboli.
  8.  
  9. Potem pobranie wartości formuły.
  10.  
  11. Następnie pobranie operatorów.
  12.  
  13. while(!operatory):
  14.  wykonywanie rozbić z analitic tableaux
  15.  pętla wykonuje się do momentu, gdy nie mamy nic innego w formule poza literami i interesującymi nas operatorami.
  16.  
  17. I cała filozofia.
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
 
Top