scientific article

zbMATH Open0641.03008MaRDI QIDQ3781730

A. D. Zakrevskij

Publication date: 1987

Title of this publication is not available (Why is that?)

zbMATH Keywords

minimizationfinite predicates

Mathematics Subject Classification ID

Classical first-order logic (03B10) Boolean functions (06E30)

Related Items (2)

Title not available (Why is that?) ⋮ Minimizing Disjunctive Normal Form Formulas and $AC^0$ Circuits Given a Truth Table

Recommendations

• Minimization of disjunctive normal forms of fuzzy logic functions 👍 👎
• Boolean function minimization in the class of disjunctive normal forms 👍 👎
• Minimizing Disjunctive Normal Form Formulas and $AC^0$ Circuits Given a Truth Table 👍 👎
• Minimizing disjunctive normal forms of pure first-order logic 👍 👎
• Minimization of the conjunctive normal forms of partially monotonic Boolean functions 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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 Q3781730)