Three-valued logic (3VL)

Data System Architecture

About

A three-valued logic implements a boolean as having three possible values:

  • true,
  • false
  • and some indeterminate third value.

Third value origin

This third value comes in play when you want to retrieve a Boolean from a storage where it may be just inexistant.

For instance, if we want to retrieve the value of a boolean attribute called bool from a JSON

  • In this case, the value is true
{
   "bool": true
}
  • In this case, the value is false
{
   "bool": false
}
{
}

Storage

You need only two bit to store this values:

  • 00: true
  • 01: false
  • 10: unknwon (that may internally be rebuild as a null value)

Example

Documentation / Reference





Discover More
Data System Architecture
Data Type - Boolean

A Boolean is a primitive data type and may be implemented with: only two state: true or false 1 or 0 and an optional third one It's therefore almost always implemented on a computer level with...
Model Funny
Function - Arity

The number of argument in a function signature is called the arity 0-ary - - 0 argument 1-ary - - 1 argument 2-ary - - two arguments 3-ary - Ternary - three arguments. Example: three-valued...
Data System Architecture
SQL - Boolean

The Boolean data type in SQL is a Three-valued logic (3VL) boolean with: true false and unknown (Stored with a SQL Null) In SQL, the unkown is the output of a comparisons with the NULL value where...



Share this page:
Follow us:
Task Runner