Implikant prosty
Z Wikipedii
Implikant prosty to implikant funkcji boolowskiej, który pomniejszony o dowolny literał przestaje być implikantem.
Dla funkcji opisanej poniższą tablicą prawdy...
-
-
# x1 x2 x3 x4 f 0 0 0 0 0 - 1 0 0 0 1 0 2 0 0 1 0 1 3 0 0 1 1 1 4 0 1 0 0 0 5 0 1 0 1 0 6 0 1 1 0 1 7 0 1 1 1 1 8 1 0 0 0 1 9 1 0 0 1 0 10 1 0 1 0 1 11 1 0 1 1 1 12 1 1 0 0 0 13 1 1 0 1 - 14 1 1 1 0 0 15 1 1 1 1 1
-
... implikantami prostymi są np.:
- x1x2x4