Functions computed by monotone Boolean formulas with no repeated variables (Q1121854)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Functions computed by monotone Boolean formulas with no repeated variables |
scientific article |
Statements
Functions computed by monotone Boolean formulas with no repeated variables (English)
0 references
1989
0 references
monotone Boolean function
0 references
prime implicant
0 references
prime clause
0 references
matroid theory
0 references