В самой структуре систем, типа Р50 уже есть жесткое ограничение - это просто сдвиг на 1 по индексу, иначе не возможно cдвигать битовые маски. "Метод Исключения" (Джобс) в отличие от "Метода Отображения", в принципе, применим к очень узкому классу систем типа Р50. Цель этого положить "МО" c большим числом переменных связи. При этом сдвиг на 1 по индексу как-то незаметно для авторов развязывает руки "МО", делая очень простым построение диаграмм истинности.
Решение Джобса для аналогичной задачи
https://www.youtube.com/watch?v=es1iCfN0eoA&t=6526s 1 час 23 мин.
Исходная ( эквивалентная Р50 ) система
(x1⊕x2=>x3)v(x5=>x4) =1
(x2⊕x3=>x4)v(x6=>x5) =1
(x3⊕x4=>x5)v(x7=>x6) =1
(x4⊕x5=>x6)v(x8=>x7) =1
Заметим , что исходящие биты х2х3х4 должны совпадать
с принимающими х2х3х4, что позволяет построить диаграмму для Метода Отображений относительно быстро.
Здесь важно заметить, что для любой из 16-ти строк исходящей колонки битовых комбинаций проанализировать надо только две из принимающих строк правой колонки в силу совпадения бит х2х3х4 (как и сказано выше) . Таким образом, число проверок 32 , а не 16*16=256 если мы имеем дело с клоном Р-50 , имеющим просто единичный сдвиг по индексу. На настоящий момент у Джобса нет примера, который не клонировал бы идеологию Р-50 и действительно представлял бы проблему для Метода Отобажений.
На основании 1-го уравнения правильно посчитаны 4-ки перехода х2х3х4х5
Ссылки
1. С.С. Крылов,Т.Е. Чуркина Информатика и ИКТ Типовые экзаменационные варианты 2020, стр.56
Решение Джобса для аналогичной задачи
https://www.youtube.com/watch?v=es1iCfN0eoA&t=6526s 1 час 23 мин.
(x2⊕x3=>x4)v(x6=>x5) =1
(x3⊕x4=>x5)v(x7=>x6) =1
(x4⊕x5=>x6)v(x8=>x7) =1
Заметим , что исходящие биты х2х3х4 должны совпадать
с принимающими х2х3х4, что позволяет построить диаграмму для Метода Отображений относительно быстро.
Здесь важно заметить, что для любой из 16-ти строк исходящей колонки битовых комбинаций проанализировать надо только две из принимающих строк правой колонки в силу совпадения бит х2х3х4 (как и сказано выше) . Таким образом, число проверок 32 , а не 16*16=256 если мы имеем дело с клоном Р-50 , имеющим просто единичный сдвиг по индексу. На настоящий момент у Джобса нет примера, который не клонировал бы идеологию Р-50 и действительно представлял бы проблему для Метода Отобажений.
На основании 1-го уравнения правильно посчитаны 4-ки перехода х2х3х4х5
На основании 2-го уравнения правильно посчитаны 4-ки перехода х3х4х5х6
На основании 3-го уравнения правильно посчитаны 4-ки перехода х4х5х6х7
На основании 4-го уравнения правильно посчитаны общее число х5х6х7х8 тех и только тех кортежей, где
х2х3х4х5 удовлетворяют уравнению 1,
х3х4х5х6 удовлетворяют уравнению 2,
х4х5х6х7 удовлетворяют уравнению 3
х2х3х4х5 удовлетворяют уравнению 1,
х3х4х5х6 удовлетворяют уравнению 2,
х4х5х6х7 удовлетворяют уравнению 3
1. С.С. Крылов,Т.Е. Чуркина Информатика и ИКТ Типовые экзаменационные варианты 2020, стр.56
