Disjunctive and conjunctive normal forms of pseudo-Boolean functions (Q1841879)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Disjunctive and conjunctive normal forms of pseudo-Boolean functions |
scientific article |
Statements
Disjunctive and conjunctive normal forms of pseudo-Boolean functions (English)
0 references
26 July 2001
0 references
pseudo-Boolean function
0 references
disjunctive normal form
0 references
prime implicants
0 references
conjunctive normal form
0 references
prime implicates
0 references
resolution method
0 references
0 references