Talk:Implicant
From Wikipedia, the free encyclopedia
Tried to make things clearer, I hope it didn't get worse :).
--pietro 7 July 2005 13:18 (UTC)
Given the cleanup tag, I tried to make this clearer, but I may not have misunderstood it myself. When I first encountered it, the first paragraph was "In Boolean logic, an implicant of a given Boolean function F of n variables is a product term P such that for every combination of the n variables for which P takes the value 1, F is also equal to 1. Therefore P implies F." I did my best to make this slightly clearer, but I am completely unfamiliar with the phrase "product term", on which we do not have an article, so perhaps I have misunderstood. Also, I am not sure what it would mean for an implicant to be minimal. Does it mean that it could not be a function in fewer variables? Isn't it possible to have two distinct implicants neither of which is reducible? -- Jmabel | Talk 07:32, Nov 28, 2004 (UTC)