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.:
