zbMath1083.94025MaRDI QIDQ5698248
Xin Du
Publication date: 27 October 2005
zbMATH Keywords
OR-coincidence algebraic system; simplification of logic function
Mathematics Subject Classification ID
06E30: Boolean functions
68N17: Logic programming