Logic Funcers

true

Returns the value representing logical truth.

	Type	Value
Input	`Any`	any value (is ignored)
Output	`Bool`	the unique value representing logical truth

Examples

Program	Type	Value	Error
`true`	`Bool`	`true`

false

Returns the value representing logical falsehood.

	Type	Value
Input	`Any`	any value (is ignored)
Output	`Bool`	the unique value representing logical falsehood

Examples

Program	Type	Value	Error
`false`	`Bool`	`false`

and

Computes logical conjunction.

	Type	Value
Input	`Bool`	a boolean value
q (param #1)	`Bool`	another boolean value
Output	`Bool`	true if both the input and q are true, false otherwise

Examples

Program	Type	Value	Error
`false and(false)`	`Bool`	`false`
`false and(true)`	`Bool`	`false`
`true and(false)`	`Bool`	`false`
`true and(true)`	`Bool`	`true`

or

Computes logical disjunction.

	Type	Value
Input	`Bool`	a boolean value
q (param #1)	`Bool`	another boolean value
Output	`Bool`	true if at least one of the input and q is true, false otherwise

Examples

Program	Type	Value	Error
`false or(false)`	`Bool`	`false`
`false or(true)`	`Bool`	`true`
`true or(false)`	`Bool`	`true`
`true or(true)`	`Bool`	`true`

not

Computes logical negation.

	Type	Value
Input	`Bool`	a boolean value
Output	`Bool`	true if the input is false, and false if the input is true

Examples

Program	Type	Value	Error
`false not`	`Bool`	`true`
`true not`	`Bool`	`false`
`1 +1 ==2 and(2 +2 ==5 not)`	`Bool`	`true`

==

Checks equality of boolean values.

	Type	Value
Input	`Bool`	a boolean value
q (param #1)	`Bool`	another boolean value
Output	`Bool`	true if the input and q are identical, false otherwise

Examples

Program	Type	Value	Error
`false ==false`	`Bool`	`true`
`false ==true`	`Bool`	`false`
`true ==false`	`Bool`	`false`
`true ==true`	`Bool`	`true`