scientific article; zbMATH DE number 3684936

MaRDI QIDQ3880324zbMATH OpenFDO

Authors Donald W. Loveland, Robert E. Shostak

Publication date 1980

zbMATH Keywords

disjunctive normal formminimization of Boolean functions

Mathematics Subject Classification ID

Cited in

(2)

• The automation of syllogistic. I: Syllogistic normal forms
• Optimizing the clausal normal form transformation

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3880324)