Implikant prosty

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

• $\bar{x_1}{x_3}$
• $\bar{x_2}\bar{x_4}$
• $\bar{x_2}{x_3}$
• ${x_1}{x_2}{x_4}$