main.typ

@@ -643,7 +643,7 @@ Tātad vienādojums ir
 patiess.
 
 === Piemērs (mazais-$o$)
-$ 2^n n^2 =^? o(3^n) $
+$ 2^n n^2 =^? o(n^3) $
 
 Pēc tās pašas aprakstītās īpašības, kā @small-o-example-3, sanāktu
 $ lim_(n->oo) (2^n n^2)/3^n $
@@ -830,7 +830,7 @@ ir problēmas (2 ekvivalentas definīcijas):
 Ekvivalence ir pierādīta ar abpusēju pārveidojumu no pārbaudītāja uz nedet.
 #TM un atpakaļ.
 
-== NP-pilnas problēmas un to redukcijas
+== NP-pilnas probēmas un to redukcijas
 
 === Polinomiāla redukcija $(<=#sub("poly"))$
 
@@ -909,11 +909,11 @@ Vai dotā lineāru nevienādību sistēma ar bināriem mainīgajiem ir atrisinā
   $x_n$) ievieš jaunus mainīgos $y_i$.
 - Katriem vārtiem formulē atbilstošas izteiksmes.
 
-Piemērs `AND` vārtiem. Nosaucam ievades kā x, y un izvadi kā z: $z = x and y$
+Piemērs AND vārtiem. Nosaucam ievades kā x, y un izvadi kā z: $z = x and y$
 
 #table(
   columns: 4,
-  [*$x$*], [*$y$*], [*$z$*], [*$z = x and y$?*],
+  [*$x$*], [*$y$*], [*$z$*], [*$z = x and z$?*],
   $0$, $0$, $0$, [jā],
   $0$, $0$, $1$, [nē],
   $0$, $1$, $0$, [jā],