Implikant prosty

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

• ${\bar {x_{1}}}{x_{3}}$
• ${\bar {x_{2}}}{\bar {x_{4}}}$
• ${\bar {x_{2}}}{x_{3}}$
• ${x_{1}}{x_{2}}{x_{4}}$