not
function defined in the tvl library object takes a truth value and returns the negation
tvl.not(x: true|false|undefined)
and
function defined in the tvl library object takes two truth values and returns a truthy value if both the values are truthy values
tvl.and(x,y: true|false|undefined)
or
function defined in the tvl library object takes two truth values and returns a truthy value if any one or both of the values are truthy values
tvl.or(x,y: true|false|undefined)
xor
function defined in the tvl library object takes two truth values and returns a truthy value only if both of the values are mutually exclusive values
tvl.xor(x,y: true|false|undefined)
imp
function defined in the tvl library object takes two truth values and returns a truthy value if it satisfies if x then y
relation
tvl.imp(x,y: true|false|undefined)
bi
function defined in the tvl library object takes two truth values and returns a truthy value if it satisfies x if and only if y
relation
tvl.bi(x,y: true|false|undefined)