:
: 101010112 - 2538 + 616. . . : 101010112 - 2538 + 616. . F (x ∧ z) ∨ (x ∧ y ∧ z).
" "
- : , . . . ,
-
( )
,
- :
I