Manuals/calci/GENERATEBOOLEAN

GENERATEBOOLEAN(Range, HowMany)

• Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle Range} is the range between which numbers are displayed.
• Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle HowMany} is the count as how many numbers are to be displayed.

Description

• This function shows the Boolean values with in the given range of values.
• In Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle GENERATEBOOLEAN (Range,HowMany)} ,$Range$ is the range between which numbers are displayed.
• Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle HowMany} is the count as how many numbers are to be displayed.
• In Boolean type there are two values only,they are 0 and 1.
• So this function displays 0 and 1 with the given number of counts.

Examples

1. GENERATEBOOLEAN(3,4) = 0 0 0 0
2. GENERATEBOOLEAN(20,6) = 0 0 0 0 0 0
3. GENERATEBOOLEAN(-45,7) = 0 0 0 0 0 0 0

See Also

• GENERATENUMBER
• GENERATEINTEGER
• GENERATENATURAL

References

• Boolean numbers

• List of Main Z Functions

• Z3 home