Diskussion:Implikant

Defintion

Die Definition in den Weblinks scheint mit deutlich anders zu sein als im Artikel. Was ist genau die Quelle für die Definition im Artikel? -- HilberTraum (d, m) 20:13, 2. Mai 2020 (CEST)

"der immer wahr ist, wenn f wahr ist"

Wenn $f$ wahr ist, heißt das doch, dass $f(a)=1$ ist. Wenn aber $m(a)\leq f(a)$ gilt, kann dann doch $m(a)$ falsch (gleich 0) sein. Oder habe ich da ein Verständnisproblem? Ist das irgendwie "andersrum"? -- HilberTraum (d, m) 20:51, 4. Mai 2020 (CEST)