Hakunin

diskretna_matematika_Vezba1

Mar 8th, 2016
91
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
MatLab 2.11 KB | None | 0 0
  1. //Proveravanje izkaza, izbacuje 0 i 1 //
  2.  
  3. >> (2+3==5)>(1+3<2)
  4.  
  5. ans =
  6.  
  7.      1
  8.  
  9. //negacija se ispisuje sa ~
  10.  
  11. >> ~1
  12.  
  13. ans =
  14.  
  15.      0
  16.  
  17. // i se ispisuje sa & //
  18.  
  19. >> 1&1
  20.  
  21. ans =
  22.  
  23.      1
  24.  
  25. >> 1&0
  26.  
  27. ans =
  28.  
  29.      0
  30.  
  31. // ili se ipisuje sa |
  32.  
  33. >> 1|0
  34.  
  35. ans =
  36.  
  37.      1
  38.  
  39. >> 0|0
  40.  
  41. ans =
  42.  
  43.      0
  44.  
  45. //implikacija se zapisuje sa ~p|q //
  46.  
  47. >> ~1|0
  48.  
  49. ans =
  50.  
  51.      0
  52.  
  53. >> ~1|1
  54.  
  55. ans =
  56.  
  57.      1
  58.  
  59. >> ~0|1
  60.  
  61. ans =
  62.  
  63.      1
  64.  
  65. //ekvivalencija se upisuje sa p==q .... ako i samo ako ... //
  66.  
  67.  
  68. >> 1==1
  69.  
  70. ans =
  71.  
  72.      1
  73.  
  74. >> 1==0
  75.  
  76. ans =
  77.  
  78.      0
  79.  
  80. // prioriteti, prvi(negacija) drugi( i, ili) treci(implikacija, ekvivalencija) //
  81.  
  82. //imamo veci iskaz sa implikacijom, trebamo da podelimo iskaz na deo levo i desno od implikacije A= ... B= ... tako je lakse...//
  83.  
  84. >> A=~p|(p&q)&r
  85.  
  86. A =
  87.  
  88.      0
  89.  
  90. >> B=(p|q)|~r
  91.  
  92. B =
  93.  
  94.      1
  95.  
  96. >> ~A|B
  97.  
  98. ans =
  99.  
  100.      1
  101.  
  102. // kada ispitujemo da li je neki iskaz tautologiju potrebno je definisati promenljive kao matrice. Resenje ce biti matrica... ako je sve 1 to je tautologija //
  103.  
  104. p =
  105.  
  106.      0     1
  107.  
  108. >> p=[0,0,0,0,1,1,1,1]
  109.  
  110. p =
  111.  
  112.      0     0     0     0     1     1     1     1
  113.  
  114. >> q=[0,0,1,1,0,0,1,1]
  115.  
  116. q =
  117.  
  118.      0     0     1     1     0     0     1     1
  119.  
  120. >> r=[0,1,0,1,0,1,0,1]
  121.  
  122. r =
  123.  
  124.      0     1     0     1     0     1     0     1
  125.  
  126. >> A=~p|(p&q)
  127.  
  128. A =
  129.  
  130.      1     1     1     1     0     0     1     1
  131.  
  132. >> B=(r&q)|p
  133.  
  134. B =
  135.  
  136.      0     0     0     1     1     1     1     1
  137.  
  138. >> ~A|B
  139.  
  140. ans =
  141.  
  142.      0     0     0     1     1     1     1     1
  143.  
  144. // zakoni: idempotencija p i q <=> p; p ili p <=> p
  145. dvostruka negacija: ~(~p)=p
  146. komutativnost: p i q <=> q i p; p ili q <=> q ili p
  147. asocijativnost: p i (q i r) <=> (p i q) i r ... vazi i za ili
  148. distributivnost: (p i q) ili (p i r) <=> p i (q ili r); (p iliq) i (p ili r)<=>p ili (q i r)
  149. De Morganovi zakoni: ~(p i q)<=>~p ili ~q; ~(p ili q)<=>~p i ~q
  150.  //
  151.  
  152. >> p=[0,0,1,1]
  153.  
  154. p =
  155.  
  156.      0     0     1     1
  157.  
  158. >> q=[0,1,0,1]
  159.  
  160. q =
  161.  
  162.      0     1     0     1
  163.  
  164. >> ~(p|q)==(~p&~q)
  165.  
  166. ans =
  167.  
  168.      1     1     1     1
  169.  
  170. //prekidacka logika ide naopako... , ~p se obelezava kao prekidac//
Add Comment
Please, Sign In to add comment