Minimization of logical functions by the method of subimplicants

DOI10.1007/BF02732989MaRDI QIDQ5951305zbMATH OpenFDO

Authors A. B. Kmet'

Publication date 10 June 2002

Published in Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF02732989

zbMATH Keywords

logical functionsminimization of truth functionsQuine methodsubimplicants

Mathematics Subject Classification ID

Boolean functions (06E30)

Review text

The \(S_N\)-algebra \((\mathbb{N}\cup \{\omega\};+, (\chi_i)_{i\in \mathbb{N}}\), \((\theta_i)_{i\in \mathbb{N}})\) was introduced by the author [Integrated current-type logic (in Russian), Olis Plyus, L'vov (1998)]. The operation + is the extension of ordinary sum defined by \(x+\omega= \omega+x= \omega\), while \(\chi_i(x) =i-x\) and \(\theta_i(x)= \omega\) for \(x<i\), else \(\chi_i(x)= \theta_i (x)=0\). In this paper the well-known Quine method for the minimization of truth functions is extended to functions defined over the \(S_N\)-algebra. The techniques are explained in great detail in a concrete example.

Recommendations

• scientific article; zbMATH DE number 3877102
• scientific article; zbMATH DE number 3843668
• scientific article; zbMATH DE number 3894979
• scientific article; zbMATH DE number 1537526
• Minimization of disjunctive normal forms of fuzzy logic functions

Cited in

(2)

• A Minimization Technique for Multiple-Valued Logic Systems
• scientific article; zbMATH DE number 3309223 (Why is no real title available?)

This page was built for publication: Minimization of logical functions by the method of subimplicants

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