????????? ??????? ( ??????????? ?????? ??? ????????? ?????? ) — ???? ?? ????? ???????????? ?????? , ???????????? ???? ??????????? ? 1920 ???? . ??????????? ?????? — ??????????? ?????? ???????????? ?????? , ???????? ?????????? ??????????? ?????????? ?????? .

?????????????

????????? ?????? ??, ? ??????? ??? ??? ???????? ???????????? ??? ?????????? ???????? ???????? (????????, ${\displaystyle \{0,1,2\}}$ , ${\displaystyle \{-1,0,+1\}}$ , ${\displaystyle \{0,{}^{1}\!/_{2},1\}}$ ), ? ????? ??? ???????? ???????? ????? ? ?????, ????? ? ????? ????????? ??????????? ?????????? (?????????? ??????? ??? ????????? ????????).

???????? ???????? ?????? ? ????? ???????? ????????? ????????? ???????? ${\displaystyle 0}$ («????») ? ${\displaystyle 1}$ («??????») ???????? ????????? «????????????????», ?????????? (? ????????? ? ????????????? ??????? ) ???? ???????? ${\displaystyle (0,1)}$ . ???????? ???????? ?? ? ????? ????????? ?????????? ????? ??????? («??????», «?????», «??????»), («????????????», 0, «????????????»).

??????? ???????????? ??????? ???????????? ?? ? ????? ????????? ??????????, ??? ??? ????? ?????????? (????????, ??????????? ????????) ?????????? ????? ???? ? ???????????? ????????, ?? ???? ? ????????? ????????? ????????. ????????? ???????? ????? ????? ????? ???? ?????? («??????», «?????, ? ???????? ???????», «??????»), («????? ?????», «?????, ? ?????????? ????????», «????? ??????»), («???????», «?????????», «?????») ? ??????.

?????????????? ????????

???????? ??????, ? ??????? ?? ????????, ?? ?????? ?????? ? ???????? ??????????? ?????????????? ?????????. ?? ??????? ?? ??????? ?????? , ??????? ?????????? ??? ?????????? {« 1 », «0», «1»} ??????????? ? ??????????? ????????, ? ????? ????????? ?? ??? ????????.

??? ?????????? ? ?????????? ? ??????? ?????? ??????????? ????????????? (????????????????), ????????????? (?????????????) ? ?????????????? (?????????????????) ??????.

????????? ??????? ?????????? ????????? ??????????? ????????? ??????????:

• ${\displaystyle \lnot {\bar {1}}=1}$
• ${\displaystyle \lnot (x\land {\bar {1}})=\lnot x\lor 1}$

?????? ??-?? ??????? ???????? ????????? ????????? ?????? ???????? ?????? ??????????? ?????????, ??? ??? ?????????????? ???????? ???????. ???, ?????? ?????? ???????????? ????? ????????? , ?????? ?????? ???????????? ???????? — ( ), ?????? ????????? ?????? ??????—????????? ????????? ??????????? .

?????????? ??????????

??? ?????????? ?????????? ???????? ???????? ? ???????? ?????? ????????????? ???????? ?????????? ???????? , ? ????? ?????? ?? ??????????? ???????????.

????? ? 3-4-??????? ??????? ???? ??????????? ????????? ?????????? ???????????? ?????????? ? ???????????? ?????????, ? ????? ????????????? ??????????. ????? ??????????? ?????? ????? ??????????? ?? ???? -??????????. ??????????? ?????? ???????? ??????? ????????????????, ??? ???????????.

?? ?????? ???????? ????????? — ???????? ?????????????? ?????? ?????????? ??????? ?????????? — ? 1959 ???? ? ?????????????? ?????? ??? ?????????????? ????? ??? « ?????? », ???????? ? 46 ???????????.

??????

?????? ????? ? ??????

???? ???????? ??????? ?????????? ??? ?????????? ???????? «??????? ?????? ????????????????» ( strong logic of indeterminacy ) ??????? ????? ? «?????????????? ??????» ( logic of paradox, LP ) . ??? ?????? ????? ??? ?????????? ???????? — «????», «????????????????» (? ?????? ?????? — «????????») ? «??????», ??????? ? ?????? ????? ???????????? ??????? F (false), U (unknown), T (true), ? ? ?????? ?????? ??????? ?1, 0 ? 1 .

???????? U ? ?????? ????? ????????????? ??????????, ??????? ??????? ????? ???????? T ??? F, ?? ? ?????? ?????? ??? ???????? ?? ?????-?? ???????? ??????????, ? ?????????? ???? ????????? ????????????????. ??? ?? ?????, ????????? ?????????? ???????? ? ????????? U ????? ????????? ????????????. ????????, ????????? T & F = F ? F & F = F, ?? ? U & F = F. ? ????? ????? ????: ???? ??? ????????? ?????????? ???????? oper ??????????? ???????????
oper(F,F)=oper(F,T), ?? oper(F,U)=oper(F,F)=oper(F,T);
??????????, ????
oper(T,F)=oper(T,T), ?? oper(T,U)=oper(T,F)=oper(T,T).

? ??????? ?? ?????? ?????, ? ?????? ?????? ???????? 0 ?????????? ? ????????? ???????????? ? ????????, ? ?????? (??????????????). ??????? ??????????? ? ??????????? ??????????. ????? ??? ? ?????? ????? ?????? ???? ?????????? ???????????? ???????? — ??? T, ? ?????? ?????? ??? ???????? — 1 ? 0 — ???????? ???????????.

??? ????????? ??????????? ?????????? ???????? (-1, 0, 1) ?????????? ???????? ???????????? ????????? ????????? ?????????:

${\displaystyle {\bar {X}}=-X;}$

${\displaystyle X\lor Y=max(X,Y);}$

${\displaystyle X\land Y=min(X,Y).}$

???????? ?????????? ? ??????? ????? ? ?????? ???????????? ????????, ??????????? ??????? ???????? ??????:

${\displaystyle X\rightarrow Y\ {\overset {\underset {\mathrm {def} }{}}{=}}{\bar {X}}\lor Y}$ .

??????? ?????????? ??? ???

??? ??????????? ?????????? ?? ??????????? ??????????, ????????? ? ?????? ??????????.

?????????????? ??????

??????? ??????? ${\displaystyle y=f(x_{1},\;x_{2},\;\ldots ,\;x_{n})}$ ???????? ??????????? ??????, ???? ??? ?? ?????????? ????????? ???????? ?? ????????? {0,1,2} ? ???? ??????? ????????? ???????? ?? ????? ?? ?????????. ??????? ???????: max (x, y), min (x, y), x+1 ( mod 3). ????????? ${\displaystyle P_{3}}$ ????????? ???? ??????? ??????????? ??????. ??? ????????? ??? ????????? ????? ???????? ????????????. ????? ??????? K ?? ${\displaystyle P_{3}}$ ??????? ?????????, ???? ????? ???????????? ??????? ?? K ??????????? K . ??????? ??????? ?????? K ?????????? ??????, ???? ????? ??????? ?? K ????? ???? ???????????? ????????????? ??????? ???? ???????. ?????? ??????? ?????????? ???????, ???? ??????? ??????? ?? ???? ??????? ?? ????? ???? ???????????? ????????????? ????????? ??????? ???? ???????. ????????, ??? ? ${\displaystyle P_{3}}$ ?????????? ???????? ????? (? ?????????, ????????? ?? ????? ???????). ????????? ????? K ?????????? ??????????, ???? ?? ?? ????????? ? ${\displaystyle P_{3}}$ , ?? ?????????? ????? ???????, ??? ?? ?????????????, ????????? ${\displaystyle P_{3}}$ . ?. ?. ????????? ???????? , ??? ? ${\displaystyle P_{3}}$ ?????????? 18 ?????????? ??????? . ????? ????????, ??? ??? ??? ????? ???????? ??????, ? ?????????, ????????? ?? ???????, ????????? ?? ????? ??? ?? ???? ?????????? . ?. ?. ???? ? ?. ?. ?????? ???????? , ??? ? ${\displaystyle P_{3}}$ ?????????? ?????? ???????, ?? ??????? ??????, ? ?????? ???????, ??????? ??????????? ?????. ?????? ???????, ??? ????????? ????????? ??????? ? ${\displaystyle P_{3}}$ ????? ???????? ?????????? . ???? ??????????? (? ????? ????????????) ?????? ??????????? ?????????? ?? ???????????, ???, ??? ???????? ?????? , ??? ????????? ?????? ????? ???????? ????? ? ????????? ????????? ??????? ??????.

????????????? ? ????? ??????

? ????????? ???????? ?????????? ?????? ?????? ???????????? ??????????? ???????? UNKNOWN, ??????? ????? ???? ??????????? ?????????? ????????, ?????? ?? ?????????? TRUE ? FALSE.

????? ???????? UNKNOWN — «?????????????», ?? ???? ?????????????? ????????? ????????. ???????? UNKNOWN ????? ?????????????? ?????, ????? ? ??????????? ??????? ?????????? ???????????? ??????????? ???????????? ??????????? ???????? NULL . ???????? ????????? ?????????? ???????? UNKNOWN, ???? ???? ??? ??? ?? ?? ????????? ????? NULL, ? ????? ????????? ?????????? ????????, ???? ????? ?? ?? ????????? ???????? ???????? UNKNOWN. ????????? ??????????? ?????? ???????????????? ???????? UNKNOWN ?????????????? ?????????? FALSE, ?? ???? ??????????? ????:

 if UNKNOWN then a := 1 else a := 2

???????? ? ???????????? ?????????? a ???????? 2.

??????? ???????? ? UNKNOWN

• ????? ???????? ????????? ?????? ???????? ? NULL ??? UNKNOWN ???? ? ?????????? UNKNOWN.
• not UNKNOWN = UNKNOWN
• TRUE and UNKNOWN = UNKNOWN
• FALSE and UNKNOWN = FALSE
• TRUE or UNKNOWN = TRUE
• FALSE or UNKNOWN = UNKNOWN
• TRUE xor UNKNOWN = UNKNOWN
• FALSE xor UNKNOWN = UNKNOWN

??. ?????

• ???????? ???????
• ???????? ???????
• ???????? ????????
• ???????? ???
• ?????? (?????????)
• ???????????? ??????
• ?????? (????)

??????????

??????????

• D. C. Rine (ed.), Computer Science and Multiple-Valued Logic. Theory and Applications. Elsevier , 1977, 548p. ISBN 9780720404067
• ???????? ?. ?. ???????????? ??????. — ?. : ?????, 1989.
• ???????? ?. ?. ???????????? ?????? // ?????? ? ?????????. ???. ?4. — ?. : ?????, 1997.
• ?????? ?????. ????????????? ?????? // ????? ??????. ??????? ? ????????. — ?. : ???, 1973.
• ????????? ?. ??????????????? ???????????? ? ????? ?????? ??????????? ?????????? ??????. — ?. : ??????????? ??????????, 1959.
• ?????? ?. ?. ??????????? ????????? ??????. — ?. : ???????????? ?????????????? ????????????, 1976.
• ??????? ?. ?. ???????????? ?????????????? ??????. — ?. : ?????, 1967.
• ????????? ?. ?. ??????? ?? ??????. — ?. : ??????, 1995. — ?. 259—268. — 303 ?. — ISBN 5-87065-009-7 .
• ???????? ??????? ?? ?????????????? ???????? / ??? ???. ?. ??????????? ? ??.. — ?. : ??????????????, 1990. — 560 ?. — ISBN 5-217-00617-X .
• ????????? ?. ?. ?????????????? ?????????? ? k -??????? ??????, ????? ??????????????? ????????? ??. ?. ?. ????????, 51, 1958
• ???? ?. ?., ?????? ?. ?., ? ????????????? k -??????? ????????? ???????, ?? ??????? ????????? ??????, ??? ???? , 127, ? 1, 1959
• ???????? ?. ?., ?????????? ???????? ?????????? ??????? ? ??????????? ??????, ??. ???????? ???????????, ??? 8, ?., 1962
• Post E.L. Two-valued iterative systems, ?nn Math. Studies, 5, ? 1, 1941
• ?????? ??????-??????, ??????? ?. ??????, ????????? ????? «??????? ??? ??????. ?????? ????»

??????