Interested Article - Троичная логика

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

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

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

???????? ???????? ?????? ? ????? ???????? ????????? ????????? ???????? $0$ («????») ? $1$ («??????») ???????? ????????? «????????????????», ?????????? (? ????????? ? ????????????? ??????? ) ???? ???????? $(0,1)$ . ???????? ???????? ?? ? ????? ????????? ?????????? ????? ??????? («??????», «?????», «??????»), («????????????», 0, «????????????»).

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

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

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

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

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

$\lnot {\bar {1}}=1$
$\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 .

F: false, U: unknown, T: true

NOT (A)
A	¬ A
F	T
U	U
T	F

AND (A, B)
A ? B		B
A ? B		F	U	T
A	F	F	F	F
	U	F	U	U
	T	F	U	T

OR (A, B)
A ? B		B
A ? B		F	U	T
A	F	F	U	T
	U	U	U	T
	T	T	T	T

?1: false, 0: «paradoxical», +1: true

NEG(A)
A	¬ A
?1	+1
0	0
+1	?1

MIN (A, B)
A ? B		B
A ? B		?1	0	+1
A	?1	?1	?1	?1
	0	?1	0	0
	+1	?1	0	+1

MAX (A, B)
A ? B		B
A ? B		?1	0	+1
A	?1	?1	0	+1
	0	0	0	+1
	+1	+1	+1	+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) ?????????? ???????? ???????????? ????????? ????????? ?????????:

{\bar {X}}=-X;

X\lor Y=max(X,Y);

X\land Y=min(X,Y).

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

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

.

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

IMP _K (A, B), OR(¬A, B)
A ? B		B
A ? B		T	U	F
A	T	T	U	F
	U	T	U	U
	F	T	T	T

IMP _K (A, B), MAX(?A, B)
A ? B		B
A ? B		+1	0	?1
A	+1	+1	0	?1
	0	+1	0	0
	?1	+1	+1	+1

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

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

??????? ??????? $y=f(x_{1},\;x_{2},\;\ldots ,\;x_{n})$ ???????? ??????????? ??????, ???? ??? ?? ?????????? ????????? ???????? ?? ????????? {0,1,2} ? ???? ??????? ????????? ???????? ?? ????? ?? ?????????. ??????? ???????: max (x, y), min (x, y), x+1 ( mod 3). ????????? $P_{3}$ ????????? ???? ??????? ??????????? ??????. ??? ????????? ??? ????????? ????? ???????? ????????????. ????? ??????? K ?? $P_{3}$ ??????? ?????????, ???? ????? ???????????? ??????? ?? K ??????????? K . ??????? ??????? ?????? K ?????????? ??????, ???? ????? ??????? ?? K ????? ???? ???????????? ????????????? ??????? ???? ???????. ?????? ??????? ?????????? ???????, ???? ??????? ??????? ?? ???? ??????? ?? ????? ???? ???????????? ????????????? ????????? ??????? ???? ???????. ????????, ??? ? $P_{3}$ ?????????? ???????? ????? (? ?????????, ????????? ?? ????? ???????). ????????? ????? K ?????????? ??????????, ???? ?? ?? ????????? ? $P_{3}$ , ?? ?????????? ????? ???????, ??? ?? ?????????????, ????????? $P_{3}$ . ?. ?. ????????? ???????? , ??? ? $P_{3}$ ?????????? 18 ?????????? ??????? . ????? ????????, ??? ??? ??? ????? ???????? ??????, ? ?????????, ????????? ?? ???????, ????????? ?? ????? ??? ?? ???? ?????????? . ?. ?. ???? ? ?. ?. ?????? ???????? , ??? ? $P_{3}$ ?????????? ?????? ???????, ?? ??????? ??????, ? ?????? ???????, ??????? ??????????? ?????. ?????? ???????, ??? ????????? ????????? ??????? ? $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

??. ?????

??????????

? ?? 23 ??? 2021 ?? Wayback Machine — ??????? f , p ? t ??????????????.
????????? ?. ?. ?????????????? ?????????? ? k -??????? ??????, ????? ??????????????? ????????? ??. ?. ?. ????????, 51, 1958
???????? ?. ?., ?????????? ???????? ?????????? ??????? ? ??????????? ??????, ??. ???????? ???????????, ??? 8, ?., 1962
???? ?. ?., ?????? ?. ?., ? ????????????? k -??????? ????????? ???????, ?? ??????? ????????? ??????, ??? ????, 127, ? 1, 1959
Post E.L. Two-valued iterative systems, ?nn Math. Studies, 5, ? 1, 1941

??????????

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
?????? ??????-??????, ??????? ?. ??????, ????????? ????? «??????? ??? ??????. ?????? ????»