Крипке булевыми функциями Бұл жолдағы бірінші қадам-Крипке құрылымын бульдік функциялармен ұсыну

Крипке булевыми функциями Бұл жолдағы бірінші қадам-Крипке құрылымын бульдік функциялармен ұсыну.

Пример. Представление структуры Крипке в BDD

М=(S, s0, R, L)

Кодирование состояний: s000, s101, s210 (v)

Множество S = {00, 01, 10} (v) ; s0= {00} – подмн-во S

Функция пометок L: S2AP Свойство p = {00} (v) - в состоянии s0 Свойство q = {00, 01}(v) – в состояниях s0,s1 Свойство r = {01, 10}(v) – в состояниях s1,s2

Множество R = {0001, 0010, 0100, 0110, 1010 } (v, v’)

v

v’

Переменные: v= , v’=

Все эти функции представляем в BDD