Проверьте =)

[Wariot]

Народ, проверьте меня, элементарщина, но чтото запутался))

вот выражение

правильно ли я его преобразовал?
в первом действии склеил 1 с 6, 2 с 4, 5 с 7
во втором действии воспользовался

свойством

@темы: Математическая логика

Comments

[Wariot]

поправлюсь, в последнем слагаемом не конънкция, а дизъюнкция, то есть ответ x1 + not(x1*x2)

[VEk]

Преобразование из предпоследней строки в послеюнюю верно. А вот Ваше склеивание мне непонятно. По вашему принципу x1*not(x2)*not(x3)+x1*x2*x3=x1, а это неверно.
А самая простая проверка - загнать все в таблицу истинности (всего 16 строк)

[Wariot]

Я такую склейку и не делаю. Мы ведь можем склеивать только дизъюнкции соседние по рангу, то есть ваш приме мы склеить не сможем - у первого выражения ранг 2, у второго - 0.

Все-таки карты Карно самые эффективные =) всем спс, вопрос решен =)