Implicação entre funções
Sign in to saveIn Boolean logic, the term implicant has either a generic or a particular use. In the generic use, it refers to the hypothesis of an implication (implicant). In the particular use, a product term (i.e., a conjunction of literals) P is an implicant of a Boolean function F, denoted P \le F, if P implies F (i.e., whenever P takes the value 1 so does F). For instance, implicants of the function f(x,y,z,w)=xy+yz+w include the terms xy, xyz, xyzw, w, as well as some others.
Article · Português
Quando funções possuem as mesmas variáveis, conclui-se que a primeira função, que chamaremos de F1, implica a segunda, F2, quando para todas as entradas em que F1 seja 1, F2 também seja. Existem três tipos de implicação entre as funções. A seguir, definiremos cada uma delas:
Abstract from DBpedia / Wikipedia · CC BY-SA