:
" , "
( , , 5 )
- 10, 100, 1000 .
5 :
7. . , ,
.
,
3 7 12- ()
(1945-1955 .)
: 101010112 - 2538 + 616. . . : 101010112 - 2538 + 616. . F (x ∧ z) ∨ (x ∧ y ∧ z).