Boolean Function Theory

← Back to Domain-Specific Abstractions by Domain

1 domain-specific abstractions whose origin domain is Boolean Function Theory.

• Unate function — A Boolean function that is monotone in each variable after independently choosing whether that variable is interpreted positively or negatively.