【三値論理】
真(true)、偽(false)の他に未知(unknown)という値を追加した論理体系。