Boolean Logic

← Back to Domain-Specific Abstractions by Domain

1 domain-specific abstractions whose origin domain is Boolean Logic.

• Disjunctive normal form — A Boolean formula represented as a disjunction of conjunctions of literals—an OR of AND terms.