Simplification of many-valued logic formulas using anti-links (Q4209297)
From MaRDI portal
scientific article; zbMATH DE number 1202879
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Simplification of many-valued logic formulas using anti-links |
scientific article; zbMATH DE number 1202879 |
Statements
Simplification of many-valued logic formulas using anti-links (English)
0 references
2 March 1999
0 references
many-valued logic
0 references
subsumption
0 references
prime implicants
0 references
prime implicates
0 references
