01111 – Х1(в1) – неисправный элемент в1; 10111 – х2(в2) – неисправен в2;и т.Д.

Множество возможных проверок определяется 5-ю элементами

П1(y1) – проверка состояния функционального элемента В1 по его выходу y1; и т.д

Тогда табл. состояний диагностируемого объекта запишется в виде:

	П1	П2	П3	П4	П5
х1(В1)	0	0	1	1	0
х2(В2)	1	0	1	1	0
х3(В3)	1	0	0	0	0
х4(В4)	1	1	1	0	0
х5(В5)	1	1	1	1	0

5 Столбец можно исключить

На основании таблицы неисправностей составляют булеву матрицу. Берем попарно неразличимые состояния

	П1	П2	П3	П4
(x1,x2)	1	0	0	0
(x1,x3)	1	0	1	1
(x1,x4)	1	1	0	1
(x1,x5)	1	1	0	0
(x2,x3)	0	0	1	1
(x2,x4)	0	1	0	1
(x2,x5)	0	1	0	0
(x3,x4)	0	1	1	0
(x3,x5)	0	1	1	1
(x4,x5)	0	0	0	1

По данной таблице составляют логическое выражение:

-- 3 проверки

Проверки (по табл. (*)):

1. П1 =0, П2=0, П4=1 – неисправен В1

2. П1=1, П2=0, П4=1 – неисправен В2

3. П1=1, П2=1, П4=0 – неисправен В4