Автор | Сообщение |
|
Отправлено: 06.02.20 12:28. Заголовок: здравствуйте.P-50. С..
здравствуйте.P-50. Сколько наборов логических переменных x1,x2,…,x8 соответствует условию, что хотя бы одно из следующих выражений ложно Объясните, пожалуйста, почему в п.8 мы исключаем два набора в первой строке, которые соответствуют двум строкам первой таблицы, а не 16 наборов (т.к. всего комбинаций, где x4 = 0 и x5 = 1 равно 16. С уважением. Заранее спасибо.
|
|
|
Ответов - 2
[только новые]
|
|
|
| постоянный участник
|
Сообщение: 384
|
|
Отправлено: 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 и действительно представлял бы проблему для Метода Отобажений.
|
|
|
|