Four-valued logic

Из Википедии, свободной энциклопедии