Overview
The `expression` is uppercased and tokenised, so `a and b` and `A AND B` are the same. Variables are single letters A to Z. Operators can be written as words (`AND`, `OR`, `NOT`, `XOR`, `NAND`, `NOR`) or symbols: `&&`, `&`, `*`, `·` and `∧` for AND; `||`, `|`, `+` and `∨` for OR; `!`, `~` and `¬` for NOT; `^` and `⊕` for XOR; and a trailing apostrophe, as in `A'`, for postfix NOT. Parentheses group terms and `0` and `1` are constants. Word operators are matched only as whole words, so their letters are never mistaken for variables. Characters the tokeniser does not recognise are skipped.
The tokens are parsed with standard precedence, from tightest to loosest: NOT, then AND and NAND, then XOR, then OR and NOR. An expression with no variables, more than eight distinct variables, unbalanced parentheses or a dangling operator returns a 400.
Variables are sorted alphabetically. Rows count up in binary from all zeros, with the first variable as the most significant bit, so `rows` always has 2^n entries in a predictable order. Each row's `inputs` maps variable names to 0 or 1 and `result` is the expression's value for that row.
`normalized` rewrites the expression with `&&`, `||`, `!` and `^`, leaving NAND and NOR as words. `asciiTable` lays out the same data as a pipe-delimited table with one column per variable plus Result. On the Free plan `normalized`, `variables`, `variableCount`, `rowCount` and `asciiTable` are null; `expression` and `rows` are always returned.
Live Test Truth Table Generator Skill Skill →
The tool
Once your client is connected to the VerveKit server, this appears in its tool list as TruthTableGeneratorSkill. It is read-only and open-world — it fetches and never mutates anything on your side — so most clients call it without asking you to confirm.
{
"name": "TruthTableGeneratorSkill",
"arguments": {
"expression": "A AND B OR C"
}
}You do not name the tool yourself; the model picks it. Asking about A AND B OR C in the terms this skill covers is enough for it to reach for TruthTableGeneratorSkill on its own — naming it explicitly also works, and is the way to force the call.
Connecting
One server URL covers every skill in the catalog, including this one. Authorization is OAuth: the client opens a browser once, and there is no key to paste into a config file.
{
"mcpServers": {
"vervekit": {
"url": "https://api.vervekit.com/v1/mcp"
}
}
}https://api.vervekit.com/v1/mcpPer-client setup — Claude, Cursor, VS Code, ChatGPT — is on the MCP setup page.
Arguments
These are the properties on the tool's inputSchema, so a well-behaved client validates them before the call is made. Premium arguments are accepted on every plan but only take effect on plans that include them.
| Argument | Type | Description |
|---|---|---|
expressionRequired | string | Boolean expression using A-Z variables and operators (AND, OR, NOT, XOR, NAND, NOR) |
What the model gets back
The result carries a structuredContent object matching the tool's declared outputSchema, so a client reads fields without parsing prose. status is "ok" and error is null on success; a null field means the value was not available for that input, not that the call failed.
{
"status": "ok",
"error": null,
"data": {
"expression": "A AND B OR C",
"normalized": "A && B || C",
"variables": [
"A",
"B",
"C",
"D",
"N",
"O",
"R"
],
"variableCount": 7,
"rowCount": 128,
"rows": [
{
"inputs": {
"A": 0,
"B": 0,
"C": 0,
"D": 0,
"N": 0,
"O": 0,
"R": 0
},
"result": 0
},
{
"inputs": {
"A": 0,
"B": 0,
"C": 0,
"D": 0,
"N": 0,
"O": 0,
"R": 1
},
"result": 0
},
{
"inputs": {
"A": 0,
"B": 0,
"C": 0,
"D": 0,
"N": 0,
"O": 1,
"R": 0
},
"result": 0
},
{
"inputs": {
"A": 0,
"B": 0,
"C": 0,
"D": 0,
"N": 0,
"O": 1,
"R": 1
},
"result": 0
},
{
"inputs": {
"A": 0,
"B": 0,
"C": 0,
"D": 0,
"N": 1,
"O": 0,
"R": 0
},
"result": 0
},
{
"inputs": {
"A": 0,
"B": 0,
"C": 0,
"D": 0,
"N": 1,
"O": 0,
"R": 1
},
"result": 0
},
{
"inputs": {
"A": 0,
"B": 0,
"C": 0,
"D": 0,
"N": 1,
"O": 1,
"R": 0
},
"result": 0
},
{
"inputs": {
"A": 0,
"B": 0,
"C": 0,
"D": 0,
"N": 1,
"O": 1,
"R": 1
},
"result": 0
},
{
"inputs": {
"A": 0,
"B": 0,
"C": 0,
"D": 1,
"N": 0,
"O": 0,
"R": 0
},
"result": 0
},
{
"inputs": {
"A": 0,
"B": 0,
"C": 0,
"D": 1,
"N": 0,
"O": 0,
"R": 1
},
"result": 0
},
{
"inputs": {
"A": 0,
"B": 0,
"C": 0,
"D": 1,
"N": 0,
"O": 1,
"R": 0
},
"result": 0
},
{
"inputs": {
"A": 0,
"B": 0,
"C": 0,
"D": 1,
"N": 0,
"O": 1,
"R": 1
},
"result": 0
},
{
"inputs": {
"A": 0,
"B": 0,
"C": 0,
"D": 1,
"N": 1,
"O": 0,
"R": 0
},
"result": 0
},
{
"inputs": {
"A": 0,
"B": 0,
"C": 0,
"D": 1,
"N": 1,
"O": 0,
"R": 1
},
"result": 0
},
{
"inputs": {
"A": 0,
"B": 0,
"C": 0,
"D": 1,
"N": 1,
"O": 1,
"R": 0
},
"result": 0
},
{
"inputs": {
"A": 0,
"B": 0,
"C": 0,
"D": 1,
"N": 1,
"O": 1,
"R": 1
},
"result": 0
},
{
"inputs": {
"A": 0,
"B": 0,
"C": 1,
"D": 0,
"N": 0,
"O": 0,
"R": 0
},
"result": 1
},
{
"inputs": {
"A": 0,
"B": 0,
"C": 1,
"D": 0,
"N": 0,
"O": 0,
"R": 1
},
"result": 1
},
{
"inputs": {
"A": 0,
"B": 0,
"C": 1,
"D": 0,
"N": 0,
"O": 1,
"R": 0
},
"result": 1
},
{
"inputs": {
"A": 0,
"B": 0,
"C": 1,
"D": 0,
"N": 0,
"O": 1,
"R": 1
},
"result": 1
},
{
"inputs": {
"A": 0,
"B": 0,
"C": 1,
"D": 0,
"N": 1,
"O": 0,
"R": 0
},
"result": 1
},
{
"inputs": {
"A": 0,
"B": 0,
"C": 1,
"D": 0,
"N": 1,
"O": 0,
"R": 1
},
"result": 1
},
{
"inputs": {
"A": 0,
"B": 0,
"C": 1,
"D": 0,
"N": 1,
"O": 1,
"R": 0
},
"result": 1
},
{
"inputs": {
"A": 0,
"B": 0,
"C": 1,
"D": 0,
"N": 1,
"O": 1,
"R": 1
},
"result": 1
},
{
"inputs": {
"A": 0,
"B": 0,
"C": 1,
"D": 1,
"N": 0,
"O": 0,
"R": 0
},
"result": 1
},
{
"inputs": {
"A": 0,
"B": 0,
"C": 1,
"D": 1,
"N": 0,
"O": 0,
"R": 1
},
"result": 1
},
{
"inputs": {
"A": 0,
"B": 0,
"C": 1,
"D": 1,
"N": 0,
"O": 1,
"R": 0
},
"result": 1
},
{
"inputs": {
"A": 0,
"B": 0,
"C": 1,
"D": 1,
"N": 0,
"O": 1,
"R": 1
},
"result": 1
},
{
"inputs": {
"A": 0,
"B": 0,
"C": 1,
"D": 1,
"N": 1,
"O": 0,
"R": 0
},
"result": 1
},
{
"inputs": {
"A": 0,
"B": 0,
"C": 1,
"D": 1,
"N": 1,
"O": 0,
"R": 1
},
"result": 1
},
{
"inputs": {
"A": 0,
"B": 0,
"C": 1,
"D": 1,
"N": 1,
"O": 1,
"R": 0
},
"result": 1
},
{
"inputs": {
"A": 0,
"B": 0,
"C": 1,
"D": 1,
"N": 1,
"O": 1,
"R": 1
},
"result": 1
},
{
"inputs": {
"A": 0,
"B": 1,
"C": 0,
"D": 0,
"N": 0,
"O": 0,
"R": 0
},
"result": 0
},
{
"inputs": {
"A": 0,
"B": 1,
"C": 0,
"D": 0,
"N": 0,
"O": 0,
"R": 1
},
"result": 0
},
{
"inputs": {
"A": 0,
"B": 1,
"C": 0,
"D": 0,
"N": 0,
"O": 1,
"R": 0
},
"result": 0
},
{
"inputs": {
"A": 0,
"B": 1,
"C": 0,
"D": 0,
"N": 0,
"O": 1,
"R": 1
},
"result": 0
},
{
"inputs": {
"A": 0,
"B": 1,
"C": 0,
"D": 0,
"N": 1,
"O": 0,
"R": 0
},
"result": 0
},
{
"inputs": {
"A": 0,
"B": 1,
"C": 0,
"D": 0,
"N": 1,
"O": 0,
"R": 1
},
"result": 0
},
{
"inputs": {
"A": 0,
"B": 1,
"C": 0,
"D": 0,
"N": 1,
"O": 1,
"R": 0
},
"result": 0
},
{
"inputs": {
"A": 0,
"B": 1,
"C": 0,
"D": 0,
"N": 1,
"O": 1,
"R": 1
},
"result": 0
},
{
"inputs": {
"A": 0,
"B": 1,
"C": 0,
"D": 1,
"N": 0,
"O": 0,
"R": 0
},
"result": 0
},
{
"inputs": {
"A": 0,
"B": 1,
"C": 0,
"D": 1,
"N": 0,
"O": 0,
"R": 1
},
"result": 0
},
{
"inputs": {
"A": 0,
"B": 1,
"C": 0,
"D": 1,
"N": 0,
"O": 1,
"R": 0
},
"result": 0
},
{
"inputs": {
"A": 0,
"B": 1,
"C": 0,
"D": 1,
"N": 0,
"O": 1,
"R": 1
},
"result": 0
},
{
"inputs": {
"A": 0,
"B": 1,
"C": 0,
"D": 1,
"N": 1,
"O": 0,
"R": 0
},
"result": 0
},
{
"inputs": {
"A": 0,
"B": 1,
"C": 0,
"D": 1,
"N": 1,
"O": 0,
"R": 1
},
"result": 0
},
{
"inputs": {
"A": 0,
"B": 1,
"C": 0,
"D": 1,
"N": 1,
"O": 1,
"R": 0
},
"result": 0
},
{
"inputs": {
"A": 0,
"B": 1,
"C": 0,
"D": 1,
"N": 1,
"O": 1,
"R": 1
},
"result": 0
},
{
"inputs": {
"A": 0,
"B": 1,
"C": 1,
"D": 0,
"N": 0,
"O": 0,
"R": 0
},
"result": 1
},
{
"inputs": {
"A": 0,
"B": 1,
"C": 1,
"D": 0,
"N": 0,
"O": 0,
"R": 1
},
"result": 1
},
{
"inputs": {
"A": 0,
"B": 1,
"C": 1,
"D": 0,
"N": 0,
"O": 1,
"R": 0
},
"result": 1
},
{
"inputs": {
"A": 0,
"B": 1,
"C": 1,
"D": 0,
"N": 0,
"O": 1,
"R": 1
},
"result": 1
},
{
"inputs": {
"A": 0,
"B": 1,
"C": 1,
"D": 0,
"N": 1,
"O": 0,
"R": 0
},
"result": 1
},
{
"inputs": {
"A": 0,
"B": 1,
"C": 1,
"D": 0,
"N": 1,
"O": 0,
"R": 1
},
"result": 1
},
{
"inputs": {
"A": 0,
"B": 1,
"C": 1,
"D": 0,
"N": 1,
"O": 1,
"R": 0
},
"result": 1
},
{
"inputs": {
"A": 0,
"B": 1,
"C": 1,
"D": 0,
"N": 1,
"O": 1,
"R": 1
},
"result": 1
},
{
"inputs": {
"A": 0,
"B": 1,
"C": 1,
"D": 1,
"N": 0,
"O": 0,
"R": 0
},
"result": 1
},
{
"inputs": {
"A": 0,
"B": 1,
"C": 1,
"D": 1,
"N": 0,
"O": 0,
"R": 1
},
"result": 1
},
{
"inputs": {
"A": 0,
"B": 1,
"C": 1,
"D": 1,
"N": 0,
"O": 1,
"R": 0
},
"result": 1
},
{
"inputs": {
"A": 0,
"B": 1,
"C": 1,
"D": 1,
"N": 0,
"O": 1,
"R": 1
},
"result": 1
},
{
"inputs": {
"A": 0,
"B": 1,
"C": 1,
"D": 1,
"N": 1,
"O": 0,
"R": 0
},
"result": 1
},
{
"inputs": {
"A": 0,
"B": 1,
"C": 1,
"D": 1,
"N": 1,
"O": 0,
"R": 1
},
"result": 1
},
{
"inputs": {
"A": 0,
"B": 1,
"C": 1,
"D": 1,
"N": 1,
"O": 1,
"R": 0
},
"result": 1
},
{
"inputs": {
"A": 0,
"B": 1,
"C": 1,
"D": 1,
"N": 1,
"O": 1,
"R": 1
},
"result": 1
},
{
"inputs": {
"A": 1,
"B": 0,
"C": 0,
"D": 0,
"N": 0,
"O": 0,
"R": 0
},
"result": 0
},
{
"inputs": {
"A": 1,
"B": 0,
"C": 0,
"D": 0,
"N": 0,
"O": 0,
"R": 1
},
"result": 0
},
{
"inputs": {
"A": 1,
"B": 0,
"C": 0,
"D": 0,
"N": 0,
"O": 1,
"R": 0
},
"result": 0
},
{
"inputs": {
"A": 1,
"B": 0,
"C": 0,
"D": 0,
"N": 0,
"O": 1,
"R": 1
},
"result": 0
},
{
"inputs": {
"A": 1,
"B": 0,
"C": 0,
"D": 0,
"N": 1,
"O": 0,
"R": 0
},
"result": 0
},
{
"inputs": {
"A": 1,
"B": 0,
"C": 0,
"D": 0,
"N": 1,
"O": 0,
"R": 1
},
"result": 0
},
{
"inputs": {
"A": 1,
"B": 0,
"C": 0,
"D": 0,
"N": 1,
"O": 1,
"R": 0
},
"result": 0
},
{
"inputs": {
"A": 1,
"B": 0,
"C": 0,
"D": 0,
"N": 1,
"O": 1,
"R": 1
},
"result": 0
},
{
"inputs": {
"A": 1,
"B": 0,
"C": 0,
"D": 1,
"N": 0,
"O": 0,
"R": 0
},
"result": 0
},
{
"inputs": {
"A": 1,
"B": 0,
"C": 0,
"D": 1,
"N": 0,
"O": 0,
"R": 1
},
"result": 0
},
{
"inputs": {
"A": 1,
"B": 0,
"C": 0,
"D": 1,
"N": 0,
"O": 1,
"R": 0
},
"result": 0
},
{
"inputs": {
"A": 1,
"B": 0,
"C": 0,
"D": 1,
"N": 0,
"O": 1,
"R": 1
},
"result": 0
},
{
"inputs": {
"A": 1,
"B": 0,
"C": 0,
"D": 1,
"N": 1,
"O": 0,
"R": 0
},
"result": 0
},
{
"inputs": {
"A": 1,
"B": 0,
"C": 0,
"D": 1,
"N": 1,
"O": 0,
"R": 1
},
"result": 0
},
{
"inputs": {
"A": 1,
"B": 0,
"C": 0,
"D": 1,
"N": 1,
"O": 1,
"R": 0
},
"result": 0
},
{
"inputs": {
"A": 1,
"B": 0,
"C": 0,
"D": 1,
"N": 1,
"O": 1,
"R": 1
},
"result": 0
},
{
"inputs": {
"A": 1,
"B": 0,
"C": 1,
"D": 0,
"N": 0,
"O": 0,
"R": 0
},
"result": 1
},
{
"inputs": {
"A": 1,
"B": 0,
"C": 1,
"D": 0,
"N": 0,
"O": 0,
"R": 1
},
"result": 1
},
{
"inputs": {
"A": 1,
"B": 0,
"C": 1,
"D": 0,
"N": 0,
"O": 1,
"R": 0
},
"result": 1
},
{
"inputs": {
"A": 1,
"B": 0,
"C": 1,
"D": 0,
"N": 0,
"O": 1,
"R": 1
},
"result": 1
},
{
"inputs": {
"A": 1,
"B": 0,
"C": 1,
"D": 0,
"N": 1,
"O": 0,
"R": 0
},
"result": 1
},
{
"inputs": {
"A": 1,
"B": 0,
"C": 1,
"D": 0,
"N": 1,
"O": 0,
"R": 1
},
"result": 1
},
{
"inputs": {
"A": 1,
"B": 0,
"C": 1,
"D": 0,
"N": 1,
"O": 1,
"R": 0
},
"result": 1
},
{
"inputs": {
"A": 1,
"B": 0,
"C": 1,
"D": 0,
"N": 1,
"O": 1,
"R": 1
},
"result": 1
},
{
"inputs": {
"A": 1,
"B": 0,
"C": 1,
"D": 1,
"N": 0,
"O": 0,
"R": 0
},
"result": 1
},
{
"inputs": {
"A": 1,
"B": 0,
"C": 1,
"D": 1,
"N": 0,
"O": 0,
"R": 1
},
"result": 1
},
{
"inputs": {
"A": 1,
"B": 0,
"C": 1,
"D": 1,
"N": 0,
"O": 1,
"R": 0
},
"result": 1
},
{
"inputs": {
"A": 1,
"B": 0,
"C": 1,
"D": 1,
"N": 0,
"O": 1,
"R": 1
},
"result": 1
},
{
"inputs": {
"A": 1,
"B": 0,
"C": 1,
"D": 1,
"N": 1,
"O": 0,
"R": 0
},
"result": 1
},
{
"inputs": {
"A": 1,
"B": 0,
"C": 1,
"D": 1,
"N": 1,
"O": 0,
"R": 1
},
"result": 1
},
{
"inputs": {
"A": 1,
"B": 0,
"C": 1,
"D": 1,
"N": 1,
"O": 1,
"R": 0
},
"result": 1
},
{
"inputs": {
"A": 1,
"B": 0,
"C": 1,
"D": 1,
"N": 1,
"O": 1,
"R": 1
},
"result": 1
},
{
"inputs": {
"A": 1,
"B": 1,
"C": 0,
"D": 0,
"N": 0,
"O": 0,
"R": 0
},
"result": 1
},
{
"inputs": {
"A": 1,
"B": 1,
"C": 0,
"D": 0,
"N": 0,
"O": 0,
"R": 1
},
"result": 1
},
{
"inputs": {
"A": 1,
"B": 1,
"C": 0,
"D": 0,
"N": 0,
"O": 1,
"R": 0
},
"result": 1
},
{
"inputs": {
"A": 1,
"B": 1,
"C": 0,
"D": 0,
"N": 0,
"O": 1,
"R": 1
},
"result": 1
},
{
"inputs": {
"A": 1,
"B": 1,
"C": 0,
"D": 0,
"N": 1,
"O": 0,
"R": 0
},
"result": 1
},
{
"inputs": {
"A": 1,
"B": 1,
"C": 0,
"D": 0,
"N": 1,
"O": 0,
"R": 1
},
"result": 1
},
{
"inputs": {
"A": 1,
"B": 1,
"C": 0,
"D": 0,
"N": 1,
"O": 1,
"R": 0
},
"result": 1
},
{
"inputs": {
"A": 1,
"B": 1,
"C": 0,
"D": 0,
"N": 1,
"O": 1,
"R": 1
},
"result": 1
},
{
"inputs": {
"A": 1,
"B": 1,
"C": 0,
"D": 1,
"N": 0,
"O": 0,
"R": 0
},
"result": 1
},
{
"inputs": {
"A": 1,
"B": 1,
"C": 0,
"D": 1,
"N": 0,
"O": 0,
"R": 1
},
"result": 1
},
{
"inputs": {
"A": 1,
"B": 1,
"C": 0,
"D": 1,
"N": 0,
"O": 1,
"R": 0
},
"result": 1
},
{
"inputs": {
"A": 1,
"B": 1,
"C": 0,
"D": 1,
"N": 0,
"O": 1,
"R": 1
},
"result": 1
},
{
"inputs": {
"A": 1,
"B": 1,
"C": 0,
"D": 1,
"N": 1,
"O": 0,
"R": 0
},
"result": 1
},
{
"inputs": {
"A": 1,
"B": 1,
"C": 0,
"D": 1,
"N": 1,
"O": 0,
"R": 1
},
"result": 1
},
{
"inputs": {
"A": 1,
"B": 1,
"C": 0,
"D": 1,
"N": 1,
"O": 1,
"R": 0
},
"result": 1
},
{
"inputs": {
"A": 1,
"B": 1,
"C": 0,
"D": 1,
"N": 1,
"O": 1,
"R": 1
},
"result": 1
},
{
"inputs": {
"A": 1,
"B": 1,
"C": 1,
"D": 0,
"N": 0,
"O": 0,
"R": 0
},
"result": 1
},
{
"inputs": {
"A": 1,
"B": 1,
"C": 1,
"D": 0,
"N": 0,
"O": 0,
"R": 1
},
"result": 1
},
{
"inputs": {
"A": 1,
"B": 1,
"C": 1,
"D": 0,
"N": 0,
"O": 1,
"R": 0
},
"result": 1
},
{
"inputs": {
"A": 1,
"B": 1,
"C": 1,
"D": 0,
"N": 0,
"O": 1,
"R": 1
},
"result": 1
},
{
"inputs": {
"A": 1,
"B": 1,
"C": 1,
"D": 0,
"N": 1,
"O": 0,
"R": 0
},
"result": 1
},
{
"inputs": {
"A": 1,
"B": 1,
"C": 1,
"D": 0,
"N": 1,
"O": 0,
"R": 1
},
"result": 1
},
{
"inputs": {
"A": 1,
"B": 1,
"C": 1,
"D": 0,
"N": 1,
"O": 1,
"R": 0
},
"result": 1
},
{
"inputs": {
"A": 1,
"B": 1,
"C": 1,
"D": 0,
"N": 1,
"O": 1,
"R": 1
},
"result": 1
},
{
"inputs": {
"A": 1,
"B": 1,
"C": 1,
"D": 1,
"N": 0,
"O": 0,
"R": 0
},
"result": 1
},
{
"inputs": {
"A": 1,
"B": 1,
"C": 1,
"D": 1,
"N": 0,
"O": 0,
"R": 1
},
"result": 1
},
{
"inputs": {
"A": 1,
"B": 1,
"C": 1,
"D": 1,
"N": 0,
"O": 1,
"R": 0
},
"result": 1
},
{
"inputs": {
"A": 1,
"B": 1,
"C": 1,
"D": 1,
"N": 0,
"O": 1,
"R": 1
},
"result": 1
},
{
"inputs": {
"A": 1,
"B": 1,
"C": 1,
"D": 1,
"N": 1,
"O": 0,
"R": 0
},
"result": 1
},
{
"inputs": {
"A": 1,
"B": 1,
"C": 1,
"D": 1,
"N": 1,
"O": 0,
"R": 1
},
"result": 1
},
{
"inputs": {
"A": 1,
"B": 1,
"C": 1,
"D": 1,
"N": 1,
"O": 1,
"R": 0
},
"result": 1
},
{
"inputs": {
"A": 1,
"B": 1,
"C": 1,
"D": 1,
"N": 1,
"O": 1,
"R": 1
},
"result": 1
}
],
"asciiTable": "| A | B | C | D | N | O | R | Result |\n|----------|----------|----------|----------|----------|----------|----------|----------|\n| 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |\n| 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 |\n| 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 |\n| 0 | 0 | 0 | 0 | 0 | 1 | 1 | 0 |\n| 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 |\n| 0 | 0 | 0 | 0 | 1 | 0 | 1 | 0 |\n| 0 | 0 | 0 | 0 | 1 | 1 | 0 | 0 |\n| 0 | 0 | 0 | 0 | 1 | 1 | 1 | 0 |\n| 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 |\n| 0 | 0 | 0 | 1 | 0 | 0 | 1 | 0 |\n| 0 | 0 | 0 | 1 | 0 | 1 | 0 | 0 |\n| 0 | 0 | 0 | 1 | 0 | 1 | 1 | 0 |\n| 0 | 0 | 0 | 1 | 1 | 0 | 0 | 0 |\n| 0 | 0 | 0 | 1 | 1 | 0 | 1 | 0 |\n| 0 | 0 | 0 | 1 | 1 | 1 | 0 | 0 |\n| 0 | 0 | 0 | 1 | 1 | 1 | 1 | 0 |\n| 0 | 0 | 1 | 0 | 0 | 0 | 0 | 1 |\n| 0 | 0 | 1 | 0 | 0 | 0 | 1 | 1 |\n| 0 | 0 | 1 | 0 | 0 | 1 | 0 | 1 |\n| 0 | 0 | 1 | 0 | 0 | 1 | 1 | 1 |\n| 0 | 0 | 1 | 0 | 1 | 0 | 0 | 1 |\n| 0 | 0 | 1 | 0 | 1 | 0 | 1 | 1 |\n| 0 | 0 | 1 | 0 | 1 | 1 | 0 | 1 |\n| 0 | 0 | 1 | 0 | 1 | 1 | 1 | 1 |\n| 0 | 0 | 1 | 1 | 0 | 0 | 0 | 1 |\n| 0 | 0 | 1 | 1 | 0 | 0 | 1 | 1 |\n| 0 | 0 | 1 | 1 | 0 | 1 | 0 | 1 |\n| 0 | 0 | 1 | 1 | 0 | 1 | 1 | 1 |\n| 0 | 0 | 1 | 1 | 1 | 0 | 0 | 1 |\n| 0 | 0 | 1 | 1 | 1 | 0 | 1 | 1 |\n| 0 | 0 | 1 | 1 | 1 | 1 | 0 | 1 |\n| 0 | 0 | 1 | 1 | 1 | 1 | 1 | 1 |\n| 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 |\n| 0 | 1 | 0 | 0 | 0 | 0 | 1 | 0 |\n| 0 | 1 | 0 | 0 | 0 | 1 | 0 | 0 |\n| 0 | 1 | 0 | 0 | 0 | 1 | 1 | 0 |\n| 0 | 1 | 0 | 0 | 1 | 0 | 0 | 0 |\n| 0 | 1 | 0 | 0 | 1 | 0 | 1 | 0 |\n| 0 | 1 | 0 | 0 | 1 | 1 | 0 | 0 |\n| 0 | 1 | 0 | 0 | 1 | 1 | 1 | 0 |\n| 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0 |\n| 0 | 1 | 0 | 1 | 0 | 0 | 1 | 0 |\n| 0 | 1 | 0 | 1 | 0 | 1 | 0 | 0 |\n| 0 | 1 | 0 | 1 | 0 | 1 | 1 | 0 |\n| 0 | 1 | 0 | 1 | 1 | 0 | 0 | 0 |\n| 0 | 1 | 0 | 1 | 1 | 0 | 1 | 0 |\n| 0 | 1 | 0 | 1 | 1 | 1 | 0 | 0 |\n| 0 | 1 | 0 | 1 | 1 | 1 | 1 | 0 |\n| 0 | 1 | 1 | 0 | 0 | 0 | 0 | 1 |\n| 0 | 1 | 1 | 0 | 0 | 0 | 1 | 1 |\n| 0 | 1 | 1 | 0 | 0 | 1 | 0 | 1 |\n| 0 | 1 | 1 | 0 | 0 | 1 | 1 | 1 |\n| 0 | 1 | 1 | 0 | 1 | 0 | 0 | 1 |\n| 0 | 1 | 1 | 0 | 1 | 0 | 1 | 1 |\n| 0 | 1 | 1 | 0 | 1 | 1 | 0 | 1 |\n| 0 | 1 | 1 | 0 | 1 | 1 | 1 | 1 |\n| 0 | 1 | 1 | 1 | 0 | 0 | 0 | 1 |\n| 0 | 1 | 1 | 1 | 0 | 0 | 1 | 1 |\n| 0 | 1 | 1 | 1 | 0 | 1 | 0 | 1 |\n| 0 | 1 | 1 | 1 | 0 | 1 | 1 | 1 |\n| 0 | 1 | 1 | 1 | 1 | 0 | 0 | 1 |\n| 0 | 1 | 1 | 1 | 1 | 0 | 1 | 1 |\n| 0 | 1 | 1 | 1 | 1 | 1 | 0 | 1 |\n| 0 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |\n| 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |\n| 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 |\n| 1 | 0 | 0 | 0 | 0 | 1 | 0 | 0 |\n| 1 | 0 | 0 | 0 | 0 | 1 | 1 | 0 |\n| 1 | 0 | 0 | 0 | 1 | 0 | 0 | 0 |\n| 1 | 0 | 0 | 0 | 1 | 0 | 1 | 0 |\n| 1 | 0 | 0 | 0 | 1 | 1 | 0 | 0 |\n| 1 | 0 | 0 | 0 | 1 | 1 | 1 | 0 |\n| 1 | 0 | 0 | 1 | 0 | 0 | 0 | 0 |\n| 1 | 0 | 0 | 1 | 0 | 0 | 1 | 0 |\n| 1 | 0 | 0 | 1 | 0 | 1 | 0 | 0 |\n| 1 | 0 | 0 | 1 | 0 | 1 | 1 | 0 |\n| 1 | 0 | 0 | 1 | 1 | 0 | 0 | 0 |\n| 1 | 0 | 0 | 1 | 1 | 0 | 1 | 0 |\n| 1 | 0 | 0 | 1 | 1 | 1 | 0 | 0 |\n| 1 | 0 | 0 | 1 | 1 | 1 | 1 | 0 |\n| 1 | 0 | 1 | 0 | 0 | 0 | 0 | 1 |\n| 1 | 0 | 1 | 0 | 0 | 0 | 1 | 1 |\n| 1 | 0 | 1 | 0 | 0 | 1 | 0 | 1 |\n| 1 | 0 | 1 | 0 | 0 | 1 | 1 | 1 |\n| 1 | 0 | 1 | 0 | 1 | 0 | 0 | 1 |\n| 1 | 0 | 1 | 0 | 1 | 0 | 1 | 1 |\n| 1 | 0 | 1 | 0 | 1 | 1 | 0 | 1 |\n| 1 | 0 | 1 | 0 | 1 | 1 | 1 | 1 |\n| 1 | 0 | 1 | 1 | 0 | 0 | 0 | 1 |\n| 1 | 0 | 1 | 1 | 0 | 0 | 1 | 1 |\n| 1 | 0 | 1 | 1 | 0 | 1 | 0 | 1 |\n| 1 | 0 | 1 | 1 | 0 | 1 | 1 | 1 |\n| 1 | 0 | 1 | 1 | 1 | 0 | 0 | 1 |\n| 1 | 0 | 1 | 1 | 1 | 0 | 1 | 1 |\n| 1 | 0 | 1 | 1 | 1 | 1 | 0 | 1 |\n| 1 | 0 | 1 | 1 | 1 | 1 | 1 | 1 |\n| 1 | 1 | 0 | 0 | 0 | 0 | 0 | 1 |\n| 1 | 1 | 0 | 0 | 0 | 0 | 1 | 1 |\n| 1 | 1 | 0 | 0 | 0 | 1 | 0 | 1 |\n| 1 | 1 | 0 | 0 | 0 | 1 | 1 | 1 |\n| 1 | 1 | 0 | 0 | 1 | 0 | 0 | 1 |\n| 1 | 1 | 0 | 0 | 1 | 0 | 1 | 1 |\n| 1 | 1 | 0 | 0 | 1 | 1 | 0 | 1 |\n| 1 | 1 | 0 | 0 | 1 | 1 | 1 | 1 |\n| 1 | 1 | 0 | 1 | 0 | 0 | 0 | 1 |\n| 1 | 1 | 0 | 1 | 0 | 0 | 1 | 1 |\n| 1 | 1 | 0 | 1 | 0 | 1 | 0 | 1 |\n| 1 | 1 | 0 | 1 | 0 | 1 | 1 | 1 |\n| 1 | 1 | 0 | 1 | 1 | 0 | 0 | 1 |\n| 1 | 1 | 0 | 1 | 1 | 0 | 1 | 1 |\n| 1 | 1 | 0 | 1 | 1 | 1 | 0 | 1 |\n| 1 | 1 | 0 | 1 | 1 | 1 | 1 | 1 |\n| 1 | 1 | 1 | 0 | 0 | 0 | 0 | 1 |\n| 1 | 1 | 1 | 0 | 0 | 0 | 1 | 1 |\n| 1 | 1 | 1 | 0 | 0 | 1 | 0 | 1 |\n| 1 | 1 | 1 | 0 | 0 | 1 | 1 | 1 |\n| 1 | 1 | 1 | 0 | 1 | 0 | 0 | 1 |\n| 1 | 1 | 1 | 0 | 1 | 0 | 1 | 1 |\n| 1 | 1 | 1 | 0 | 1 | 1 | 0 | 1 |\n| 1 | 1 | 1 | 0 | 1 | 1 | 1 | 1 |\n| 1 | 1 | 1 | 1 | 0 | 0 | 0 | 1 |\n| 1 | 1 | 1 | 1 | 0 | 0 | 1 | 1 |\n| 1 | 1 | 1 | 1 | 0 | 1 | 0 | 1 |\n| 1 | 1 | 1 | 1 | 0 | 1 | 1 | 1 |\n| 1 | 1 | 1 | 1 | 1 | 0 | 0 | 1 |\n| 1 | 1 | 1 | 1 | 1 | 0 | 1 | 1 |\n| 1 | 1 | 1 | 1 | 1 | 1 | 0 | 1 |\n| 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |\n"
}
}
Response fields
Paths are relative to data. Premium fields are absent rather than zeroed on plans that do not include them, so check for presence instead of comparing to 0.
| Field | Type | Example | Description |
|---|---|---|---|
expression | string | A AND B OR C | Original boolean expression input by user |
normalizedPremium | string | A && B || C | Expression normalized with standard operators like && and || |
variablesPremium | array | ["A","B","C"] | Array of unique variable names found in expression |
variableCountPremium | number | 7 | Total count of unique variables in boolean expression |
rowCountPremium | number | 128 | Number of rows in truth table (2^variableCount) |
rows | array[128] | Array of truth table rows with inputs and result values | |
rows.0.inputs | object | {…} | Input variable values for current truth table row |
rows.0.inputs.A | number | 0 | |
rows.0.inputs.B | number | 0 | |
rows.0.inputs.C | number | 0 | |
rows.0.inputs.D | number | 0 | |
rows.0.inputs.N | number | 0 | |
rows.0.inputs.O | number | 0 | |
rows.0.inputs.R | number | 0 | |
rows.0.result | number | 0 | Boolean result (0 or 1) for given input combination |
asciiTablePremium | string | | A | B | C | D | N | O | R | Result |
|---------… | ASCII formatted table representation for easy display |
Failure modes
Errors come back as tool errors carrying a sentence the model can act on, not a bare status code. Error handling covers the full list.
| Status | What it means |
|---|---|
400 / 422 | The arguments did not validate. The message names the offending one. |
401 | The OAuth session is invalid or expired — reconnect the server. |
403 | Blocked by a key restriction or an IP allow-list. Never a bad identity. |
404 | This skill is not part of VerveKit. Check the catalog. |
429 | Out of credits, or a brief rate limit. The message tells them apart. |
A call costs 1 credit each time the tool actually runs; a model that reasons about the tool without calling it costs nothing.
Use cases
- Computer Science Education
- Teach boolean logic and truth tables with interactive expression evaluation
- Digital Logic Design
- Verify logic gate combinations and circuit behavior for hardware design
- Boolean Expression Verification
- Test and validate complex boolean expressions programmatically
- Programming Logic Testing
- Debug and verify conditional logic in software applications
Other ways to use Truth Table Generator Skill
Set up Truth Table Generator Skill on VerveKit, or reach the same source a different way. Your VerveKit account and credits work on all of them — one key, one balance.
Call it as a REST APIOne HTTPS endpoint and an x-api-key header, with SDKs for Node, Python and .NET.APIVerve →Reference →
Google Sheets or ExcelA =VERVE() formula fills a column — no script, no export, recalculates in place.VerveSheets →Reference →
Ground an agent on itA cited, machine-checkable fact your model can't produce on its own.VerveContext →Reference →
Related
More in Math/Calculations:
UTM Coordinate SkillConvert between UTM and latitude/longitudeColor Similarity SkillCalculate similarity between two colorsDaylight Hours SkillCalculate daylight hours for any locationFibonacci Generator SkillGenerate Fibonacci sequence numbersPermutation & Combination SkillCalculate permutations and combinationsRoman Numeral Math SkillPerform math operations with Roman numerals