.
.
09.03.01
:
:
5
:
-01-15 ______________ ..
()
:
, ... _______________ ..
()
. 2016.
1 . 3
2 . 4
3 . 6
4 . 7
5 . 8
.. 10
( ) , . , , , , , .
, , .
- , . , , .
() ( ), .
, . : , , (). . , ( ).
, .
1 , , .
, , ;
a | b | a | b | a˄b | a˅b | (a→b)˅a | (a→b)˅a | (a˄b)˅a)˄(a˅b)˅a |
: , .
|
|
, , .
:
1. n.
2. m=2^n.
3. = n+ .
2.1
2.2-
2.3
2.4
2.5
2 .
X ↔ ((Y ˅ Z) → (X ˅ Y))
11) X↔((Y˅Z)→(X˅Y))
12) (X)↔((Y˅Z)→(X˅Y))
X | Y | Z | X | Z | Y˅Z | Y | X˅Y | (X˅Y) | (Y˅Z)→(X˅Y) | ||