3値論理
3値論理 (, ) とは、通常の真 () と偽 () から成る真偽値の他に、第3の真理値を持つ論理体系。多値論理のひとつである。