.
, .
2. , +·
(+) (+)
. .
· | +· | + | + | (+) (+) | |||
5- 8- , , +· , , (+) (+), .. (). .
()
+ · (+) (+).
.
, .
, , .
.
.
+ .
+ | ||
, , , .
- - .
- 1, - - 0. .
A 0
+ 1
3. (X Y) (X Y)
.
X | Y | X Y | X Y | (X Y) (X Y) |
.
.
:
1. ((X Y) (Y Z)) (X Z)
2. .
3. :
.
.
: , _.doc, _.doc (logika\2\11klass\file\urok5-6\...)., Matlog (logika\5\...).
|
|
.
- .
- .
- .
- .
.
I. .
A) .
- ?
- ?
- .
- ?
- ?
- ?