Overview
Perfect for computer science education, digital logic design, and verifying boolean expressions with automatic operator normalization.
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 |
|----------|----------|----------|----------|----------|----------|----------|----------|
| 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 |
| 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 |
| 0 | 0 | 0 | 0 | 0 | 1 | 1 | 0 |
| 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 |
| 0 | 0 | 0 | 0 | 1 | 0 | 1 | 0 |
| 0 | 0 | 0 | 0 | 1 | 1 | 0 | 0 |
| 0 | 0 | 0 | 0 | 1 | 1 | 1 | 0 |
| 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 |
| 0 | 0 | 0 | 1 | 0 | 0 | 1 | 0 |
| 0 | 0 | 0 | 1 | 0 | 1 | 0 | 0 |
| 0 | 0 | 0 | 1 | 0 | 1 | 1 | 0 |
| 0 | 0 | 0 | 1 | 1 | 0 | 0 | 0 |
| 0 | 0 | 0 | 1 | 1 | 0 | 1 | 0 |
| 0 | 0 | 0 | 1 | 1 | 1 | 0 | 0 |
| 0 | 0 | 0 | 1 | 1 | 1 | 1 | 0 |
| 0 | 0 | 1 | 0 | 0 | 0 | 0 | 1 |
| 0 | 0 | 1 | 0 | 0 | 0 | 1 | 1 |
| 0 | 0 | 1 | 0 | 0 | 1 | 0 | 1 |
| 0 | 0 | 1 | 0 | 0 | 1 | 1 | 1 |
| 0 | 0 | 1 | 0 | 1 | 0 | 0 | 1 |
| 0 | 0 | 1 | 0 | 1 | 0 | 1 | 1 |
| 0 | 0 | 1 | 0 | 1 | 1 | 0 | 1 |
| 0 | 0 | 1 | 0 | 1 | 1 | 1 | 1 |
| 0 | 0 | 1 | 1 | 0 | 0 | 0 | 1 |
| 0 | 0 | 1 | 1 | 0 | 0 | 1 | 1 |
| 0 | 0 | 1 | 1 | 0 | 1 | 0 | 1 |
| 0 | 0 | 1 | 1 | 0 | 1 | 1 | 1 |
| 0 | 0 | 1 | 1 | 1 | 0 | 0 | 1 |
| 0 | 0 | 1 | 1 | 1 | 0 | 1 | 1 |
| 0 | 0 | 1 | 1 | 1 | 1 | 0 | 1 |
| 0 | 0 | 1 | 1 | 1 | 1 | 1 | 1 |
| 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 |
| 0 | 1 | 0 | 0 | 0 | 0 | 1 | 0 |
| 0 | 1 | 0 | 0 | 0 | 1 | 0 | 0 |
| 0 | 1 | 0 | 0 | 0 | 1 | 1 | 0 |
| 0 | 1 | 0 | 0 | 1 | 0 | 0 | 0 |
| 0 | 1 | 0 | 0 | 1 | 0 | 1 | 0 |
| 0 | 1 | 0 | 0 | 1 | 1 | 0 | 0 |
| 0 | 1 | 0 | 0 | 1 | 1 | 1 | 0 |
| 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0 |
| 0 | 1 | 0 | 1 | 0 | 0 | 1 | 0 |
| 0 | 1 | 0 | 1 | 0 | 1 | 0 | 0 |
| 0 | 1 | 0 | 1 | 0 | 1 | 1 | 0 |
| 0 | 1 | 0 | 1 | 1 | 0 | 0 | 0 |
| 0 | 1 | 0 | 1 | 1 | 0 | 1 | 0 |
| 0 | 1 | 0 | 1 | 1 | 1 | 0 | 0 |
| 0 | 1 | 0 | 1 | 1 | 1 | 1 | 0 |
| 0 | 1 | 1 | 0 | 0 | 0 | 0 | 1 |
| 0 | 1 | 1 | 0 | 0 | 0 | 1 | 1 |
| 0 | 1 | 1 | 0 | 0 | 1 | 0 | 1 |
| 0 | 1 | 1 | 0 | 0 | 1 | 1 | 1 |
| 0 | 1 | 1 | 0 | 1 | 0 | 0 | 1 |
| 0 | 1 | 1 | 0 | 1 | 0 | 1 | 1 |
| 0 | 1 | 1 | 0 | 1 | 1 | 0 | 1 |
| 0 | 1 | 1 | 0 | 1 | 1 | 1 | 1 |
| 0 | 1 | 1 | 1 | 0 | 0 | 0 | 1 |
| 0 | 1 | 1 | 1 | 0 | 0 | 1 | 1 |
| 0 | 1 | 1 | 1 | 0 | 1 | 0 | 1 |
| 0 | 1 | 1 | 1 | 0 | 1 | 1 | 1 |
| 0 | 1 | 1 | 1 | 1 | 0 | 0 | 1 |
| 0 | 1 | 1 | 1 | 1 | 0 | 1 | 1 |
| 0 | 1 | 1 | 1 | 1 | 1 | 0 | 1 |
| 0 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
| 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 |
| 1 | 0 | 0 | 0 | 0 | 1 | 0 | 0 |
| 1 | 0 | 0 | 0 | 0 | 1 | 1 | 0 |
| 1 | 0 | 0 | 0 | 1 | 0 | 0 | 0 |
| 1 | 0 | 0 | 0 | 1 | 0 | 1 | 0 |
| 1 | 0 | 0 | 0 | 1 | 1 | 0 | 0 |
| 1 | 0 | 0 | 0 | 1 | 1 | 1 | 0 |
| 1 | 0 | 0 | 1 | 0 | 0 | 0 | 0 |
| 1 | 0 | 0 | 1 | 0 | 0 | 1 | 0 |
| 1 | 0 | 0 | 1 | 0 | 1 | 0 | 0 |
| 1 | 0 | 0 | 1 | 0 | 1 | 1 | 0 |
| 1 | 0 | 0 | 1 | 1 | 0 | 0 | 0 |
| 1 | 0 | 0 | 1 | 1 | 0 | 1 | 0 |
| 1 | 0 | 0 | 1 | 1 | 1 | 0 | 0 |
| 1 | 0 | 0 | 1 | 1 | 1 | 1 | 0 |
| 1 | 0 | 1 | 0 | 0 | 0 | 0 | 1 |
| 1 | 0 | 1 | 0 | 0 | 0 | 1 | 1 |
| 1 | 0 | 1 | 0 | 0 | 1 | 0 | 1 |
| 1 | 0 | 1 | 0 | 0 | 1 | 1 | 1 |
| 1 | 0 | 1 | 0 | 1 | 0 | 0 | 1 |
| 1 | 0 | 1 | 0 | 1 | 0 | 1 | 1 |
| 1 | 0 | 1 | 0 | 1 | 1 | 0 | 1 |
| 1 | 0 | 1 | 0 | 1 | 1 | 1 | 1 |
| 1 | 0 | 1 | 1 | 0 | 0 | 0 | 1 |
| 1 | 0 | 1 | 1 | 0 | 0 | 1 | 1 |
| 1 | 0 | 1 | 1 | 0 | 1 | 0 | 1 |
| 1 | 0 | 1 | 1 | 0 | 1 | 1 | 1 |
| 1 | 0 | 1 | 1 | 1 | 0 | 0 | 1 |
| 1 | 0 | 1 | 1 | 1 | 0 | 1 | 1 |
| 1 | 0 | 1 | 1 | 1 | 1 | 0 | 1 |
| 1 | 0 | 1 | 1 | 1 | 1 | 1 | 1 |
| 1 | 1 | 0 | 0 | 0 | 0 | 0 | 1 |
| 1 | 1 | 0 | 0 | 0 | 0 | 1 | 1 |
| 1 | 1 | 0 | 0 | 0 | 1 | 0 | 1 |
| 1 | 1 | 0 | 0 | 0 | 1 | 1 | 1 |
| 1 | 1 | 0 | 0 | 1 | 0 | 0 | 1 |
| 1 | 1 | 0 | 0 | 1 | 0 | 1 | 1 |
| 1 | 1 | 0 | 0 | 1 | 1 | 0 | 1 |
| 1 | 1 | 0 | 0 | 1 | 1 | 1 | 1 |
| 1 | 1 | 0 | 1 | 0 | 0 | 0 | 1 |
| 1 | 1 | 0 | 1 | 0 | 0 | 1 | 1 |
| 1 | 1 | 0 | 1 | 0 | 1 | 0 | 1 |
| 1 | 1 | 0 | 1 | 0 | 1 | 1 | 1 |
| 1 | 1 | 0 | 1 | 1 | 0 | 0 | 1 |
| 1 | 1 | 0 | 1 | 1 | 0 | 1 | 1 |
| 1 | 1 | 0 | 1 | 1 | 1 | 0 | 1 |
| 1 | 1 | 0 | 1 | 1 | 1 | 1 | 1 |
| 1 | 1 | 1 | 0 | 0 | 0 | 0 | 1 |
| 1 | 1 | 1 | 0 | 0 | 0 | 1 | 1 |
| 1 | 1 | 1 | 0 | 0 | 1 | 0 | 1 |
| 1 | 1 | 1 | 0 | 0 | 1 | 1 | 1 |
| 1 | 1 | 1 | 0 | 1 | 0 | 0 | 1 |
| 1 | 1 | 1 | 0 | 1 | 0 | 1 | 1 |
| 1 | 1 | 1 | 0 | 1 | 1 | 0 | 1 |
| 1 | 1 | 1 | 0 | 1 | 1 | 1 | 1 |
| 1 | 1 | 1 | 1 | 0 | 0 | 0 | 1 |
| 1 | 1 | 1 | 1 | 0 | 0 | 1 | 1 |
| 1 | 1 | 1 | 1 | 0 | 1 | 0 | 1 |
| 1 | 1 | 1 | 1 | 0 | 1 | 1 | 1 |
| 1 | 1 | 1 | 1 | 1 | 0 | 0 | 1 |
| 1 | 1 | 1 | 1 | 1 | 0 | 1 | 1 |
| 1 | 1 | 1 | 1 | 1 | 1 | 0 | 1 |
| 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
| 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 2 credits 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