Отправлено: 06.02.20 12:28. Заголовок: здравствуйте.P-50. С..

здравствуйте.P-50. Сколько наборов логических переменных x1,x2,…,x8 соответствует условию, что хотя бы одно из следующих выражений ложно
Объясните, пожалуйста, почему в п.8 мы исключаем два набора в первой строке, которые соответствуют двум строкам первой таблицы, а не 16 наборов (т.к. всего комбинаций, где x4 = 0 и x5 = 1 равно 16. С уважением. Заранее спасибо.

 Отправлено: 06.02.20 14:45. Заголовок: смотрим на первую та..

смотрим на первую таблицу 
 х1	х2	х3	х4	х5	х6	х7	х8 
 0	1	0	0	1	*	*	* 
 1	0	0	0	1	*	*	* 
 х6, х7, х8 - любые, в том числе и 0 0 1 
  
 смотрим на последнюю таблицу 
 х1	х2	х3	х4	х5	х6	х7	х8 
 *	*	*	0	1	0	0	1 
 х1, х2, х3 любые, в том числе 0 1 0 и 1 0 0 
  
 итого, только два набора переменных встречаются в обоих таблицах 
 х1	х2	х3	х4	х5	х6	х7	х8 
 0	1	0	0	1	0	0	1 
 1	0	0	0	1	0	0	1 
 другие комбинации х1, х2, х3, х4=0, х5=1, х6, х7, х8 могут попасть либо в первую таблицу, либо в последнюю, но не в обе таблицы 
 

 Отправлено: 24.04.20 15:26. Заголовок: Решение равносильной Р-50 системы методом отображений

https://informatics-ege.blogspot.com/2020/04/50-ege23pdf.html

В самой структуре систем, типа Р50 уже есть жесткое ограничение - это просто сдвиг на 1 по индексу, иначе не возможно cдвигать битовые маски. "Метод Исключения" (Джобс) в отличие от "Метода Отображения", в принципе, применим к очень узкому классу систем типа Р50. Цель этого положить "МО" c большим числом переменных связи. При этом сдвиг на 1 по индексу как-то незаметно для авторов развязывает руки "МО", делая очень простым построение диаграмм истинности.
Здесь важно заметить, что для любой из 16-ти строк исходящей колонки битовых комбинаций проанализировать надо только две из принимающих строк правой колонки в силу совпадения бит х2х3х4 (смотри блог) . Таким образом, число проверок 32 , а не 16*16=256 если мы имеем дело с клоном Р-50 , имеющим просто единичный сдвиг по индексу. На настоящий момент у Джобса нет примера, который не клонировал бы идеологию Р-50 и действительно представлял бы проблему для Метода Отобажений.