Evaluate Boolean Expression
Claude skill for Evaluate Boolean Expression
LLM Evaluation
Evaluated by: xiaomi/mimo-v2-flash:free
Last evaluated: March 29, 2026
Prompt Preview
---
name: evaluate-boolean-expression
description: >
Evaluate and simplify Boolean expressions using truth tables, algebraic laws
(De Morgan, distributive, absorption, idempotent, consensus), and Karnaugh maps
for up to six variables. Use when you need to reduce a Boolean expression to its
minimal sum-of-products or product-of-sums form, verify logical equivalence
between two expressions, or prepare a minimized function for gate-level
implementation.
license: MIT
allowed-to...
Full prompt length: 11330 characters