Implikant prosty – 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.:
Kategoria:Logika matematyczna