6.2.4. Моделювання функціонально-логичних схем на основі п’ятизначної логіки

П’ятизначна логіка дозволяє виявляти динамічний ризик сбою.

X = {0, l, x, h, 1},

X = { 0, 1/4, 1/2, 3/4, 1},

X = {0, 0,25, 0,5, 0,75, 1}

Таблиця iстiностi.

x₁  x₂ x₁  x₂

x1\x2

0

1/4

1/2

3/4

1

x1\x2

0

1/4

1/2

3/4

1

0

0

0

0

0

0

0

0

1/4

1/2

3/4

1

1/4

0

1/4

1/2

1/2

1/4

1/4

1/4

1/4

1/2

1/2

1

1/2

0

1/2

1/2

1/2

1/2

1/2

1/2

1/2

1/2

1/2

1

3/4

0

1/2

1/2

3/4

3/4

3/4

3/4

1/2

1/2

3/4

1

1

0

1/4

1/2

3/4

1

1

1

1

1

1

1

Тут також будують проміжний набір С:

Аналіз послідовністi схем при матричной логіці аналогичен трьохзначної логіці. Многозначне моделювання дозволяє визначити усі можливі варіанти ризика сбою, навіть ті що в реальності не стануться. Для підвищення адекватності функціонально-логічного моделювання використає нові методи, що сміщають асинхронне моделювання і многозначну логіку: засіб нарастающей невизначностi і засіб дельта-троічного моделювання.