An algorithm for constructing reduced DNFs of order-convex Boolean functions (Q2320206)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An algorithm for constructing reduced DNFs of order-convex Boolean functions |
scientific article |
Statements
An algorithm for constructing reduced DNFs of order-convex Boolean functions (English)
0 references
21 August 2019
0 references
implicant
0 references
lattice
0 references
order-convex subset
0 references
ideal
0 references
coideal
0 references
