scientific article; zbMATH DE number 1089457
By an SVL (set-valued logic) function is meant a function \(F:{\mathcal P} ({\mathbf r})^n \to{\mathcal P} ({\mathbf r})\), where \({\mathbf r}= \{0,1, \dots, r-1\}\). Monotonicity is defined in a natural way. The authors introduce the function \(\overline x^a\) defined by \(\overline x^a= {\mathbf r}\) if \(a\subseteq x\), otherwise \(\overline x^a= \emptyset\), where \(a,x\in P({\mathbf r})\). Then a monotone SVL function \(F\) can be represented in the form \(F(X)= \bigcup_{a{\mathbf r}} \{a\} \cap\overline {F(X)}^a\), where \(\overline {F(X)}^a= \bigcup \{\overline x^{a_1}_1\cap \cdots \cap \overline x_n^{a_n} \mid a\subseteq F(a_1, \dots, a_n)\}\) and it has a unique irredundant sum-of-product representation, which is made up of prime implicants. Several concrete examples are given. The paper is motivated by applications to bio-circuits and electrical frequency-mode circuits. Remark. On page 298, stone should be changed to Stone.
- scientific article; zbMATH DE number 3173697
- On representation of k-valued logic functions by a sum of products of subfunctions
- Generation of unary monotone functions of multi-valued logic
- On the structure of closed classes containing some classes of monotone functions in multivalued logic
- Construction of an infinite set of classes of partial monotone functions of multi-valued logic
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 Q4366154)
