Why pairs and quad of 1's are not counted as implicants in the given k-map ref:- https://www.google.com/amp/s/www.geeksforgeeks.org/digital-logic-implicants-k-map/amp/
-
\$\begingroup\$ See electronics.stackexchange.com/q/450714/152903 \$\endgroup\$– Solar MikeCommented Jul 29, 2019 at 19:09
-
1\$\begingroup\$ I would say this page is misinterpreting the term "implicant". \$\endgroup\$– Eugene Sh.Commented Jul 29, 2019 at 19:30
-
\$\begingroup\$ There must be a wealth of information on this topic available online. Have you tried looking at any other sources? Tried searching for "implicant"? \$\endgroup\$– Elliot AldersonCommented Jul 29, 2019 at 19:49
-
\$\begingroup\$ Ok.. I'll try to somewhere else to search for "implicant" \$\endgroup\$– ashishCommented Jul 29, 2019 at 19:56
1 Answer
From Prime Implicants and Essential Prime Implicants in K Map
S is an implicant of the function f if and only if the value S is equal to 1 so that the value of the function f is also equal to 1.
a minterm will be an implicant, but an implicant need not be a minterm.
So Digital Logic | Implicants in K-Map use of implicant is implying a minterm is an implicant, which disagrees with the above definition.
\$ ABC\$, \$ ABC \bar D\$ & \$ ABCD\$ are all implicants, but only 1 is a prime implicant.
So 8 minterms + 5 prime = 13 implicants, 5 prime, 4 essential & 1 redundant.