-мысал 8-бөлімде қарастырылған "фер мер, қасқыр, ешкі және қырыққабат" өзені арқылы өткелді жоспарлау туралы логикалық басқатырғышты шешу үшін Крипке құрылымының булевтік функцияларымен Крипке құр

10.2-мысал 8-бөлімде қарастырылған "фер мер, қасқыр, ешкі және қырыққабат" өзені арқылы өткелді жоспарлау туралы логикалық басқатырғышты шешу үшін Крипке құрылымының булевтік функцияларымен Крипке құрылымын қарастырайық.

Бұл мәселедегі төрт түйреуіштер F, w, g және с өзеннің оң жақ жағасында тиісті объектіні күтіп ұстау (пере менной мәні 1-ге тең) немесе сол жақ жағада (ауыспалы мәні 0-ге тең). Крипке — айнымалы мәндердің векторы ( / , w, g, с) . Напри (0, 0,1,1) фермер мен қасқыр сол жағалауда, ал ешкі мен қырыққабат оң жағалауда тұр дегенді білдіреді. Крипке құрылымының бастапқы жағдайы— (0, 0, 0, 0): барлығы сол жағалауда. Тиісті сипатты булев функциясы _____