,
- . ,
-
- , -
- , ,
: , , . .
, , , ( ) , , , ,
2005-2006
5.
- : XIX
: =sin(x)
:
: 101010112 - 2538 + 616. . . : 101010112 - 2538 + 616. . F (x ∧ z) ∨ (x ∧ y ∧ z).