The following is the definition of:

is a form that deals with statements having one of only two values: true (1) or false (0)."