Математический форум Math Help Planet
Обсуждение и решение задач по математике, физике, химии, экономике Теоретический раздел |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
новый онлайн-сервис число, сумма и дата прописью |
|
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Страница 1 из 2 |
[ Сообщений: 11 ] | На страницу 1, 2 След. |
|
Автор | Сообщение | |
---|---|---|
huffy |
|
|
ДНФ: [math]F =y \lor x \lor \overline{y}z[/math] СДНФ: [math]F =xyz \lor \overline{x}yz \lor xy\overline{z} \lor \overline{x}y\overline{z} \lor x\overline{y}z \lor x\overline{y}\overline{z} \lor \overline{x}\overline{y}\overline{z}[/math] Пробовал двойное отрицание: [math]\overline{\overline{y \lor x \lor \overline{y}z}} = \overline{(\overline{y})(\overline{x})(y \lor \overline{z})}= y \lor x \lor \overline{y}z[/math] но как видите результат не радует. Может что-то упустил тут? или неправильно делаю? или другой способ есть? |
||
Вернуться к началу | ||
Ellipsoid |
|
|
huffy писал(а): двойное отрицание Двойное отрицание приведёт к той же самой формуле, согласно закону двойного отрицания. Используйте ДНФ и дистрибутивность дизъюнкции относительно конъюнкции. Почти сразу же получите КНФ (она же в данном случае и СКНФ). |
||
Вернуться к началу | ||
За это сообщение пользователю Ellipsoid "Спасибо" сказали: huffy |
||
Ellipsoid |
|
|
Ellipsoid писал(а): дистрибутивность дизъюнкции относительно конъюнкции А перед этим - коммутативность дизъюнкции. |
||
Вернуться к началу | ||
За это сообщение пользователю Ellipsoid "Спасибо" сказали: huffy |
||
huffy |
|
|
Всё, разобрался, спасибо!
|
||
Вернуться к началу | ||
Ellipsoid |
|
|
Пожалуйста.
А что получилось, если не секрет? |
||
Вернуться к началу | ||
huffy |
|
|
У меня ошибка была при эквивалентных преобразованиях. Заново всё сделал и оказалось, что и ничего не нужно искать.
А если вы хотите узнать, как бы я сделал то, что вы мне посоветовали, то вот так бы я сделал: [math]y \lor x \lor z\overline{y} = (y \lor x \lor z )(y \lor x \lor \overline{y}) = (y \lor x \lor z )(y \lor x) = (y \lor x \lor z )(y \lor x \lor \overline{z})(y \lor x \lor z ) = (y \lor x \lor \overline{z})[/math] |
||
Вернуться к началу | ||
Ellipsoid |
|
|
Ерунда какая-то. И ответ неверный. Первый шаг правильный. А вот дальше...
И я немного про другое говорил. |
||
Вернуться к началу | ||
Ellipsoid |
|
|
Если уж вы сразу использовали дистрибутивность, не переставляя члены дизъюнкции местами, то следующим шагом должно быть использование коммутативности дизъюнкции во второй скобке, а потом - закона исключённого третьего.
|
||
Вернуться к началу | ||
huffy |
|
|
Так, если вы сказали, что первый шаг правильный, то во второй скобке я могу использовать закон инверсии: [math]y \lor \overline{y} = 1[/math]
и если в скобке осталось [math]1 \lor x[/math], то это равно 1 [math]y \lor x \lor z\overline{y} = (y \lor x \lor z )(y \lor x \lor \overline{y}) = (y \lor x \lor z )(1 \lor x) = (y \lor x \lor z )1 = (y \lor x \lor z )[/math] |
||
Вернуться к началу | ||
Ellipsoid |
|
|
huffy писал(а): закон инверсии Я его знаю под именем закона исключённого третьего. Теперь правильно. Но можно ещё и так: [math]y \vee x \vee zy'=y \vee y'z \vee x=(y \vee y')(y \vee z) \vee x=(1 \cdot (y \vee z)) \vee x = x \vee y \vee z[/math]. |
||
Вернуться к началу | ||
За это сообщение пользователю Ellipsoid "Спасибо" сказали: huffy |
||
На страницу 1, 2 След. | [ Сообщений: 11 ] |
Похожие темы | Автор | Ответы | Просмотры | Последнее сообщение |
---|---|---|---|---|
Переход в СЦМ
в форуме Механика |
6 |
141 |
09 сен 2023, 18:33 |
|
Переход
в форуме Алгебра |
1 |
296 |
03 дек 2014, 23:28 |
|
Переход
в форуме Тригонометрия |
5 |
481 |
16 янв 2015, 09:13 |
|
Переход ß/a = ß/(ln(1+ß) * ∂ * (ln(1+a))/a
в форуме Пределы числовых последовательностей и функций, Исследования функций |
2 |
290 |
17 фев 2015, 13:42 |
|
Переход
в форуме Дифференциальное исчисление |
2 |
142 |
18 сен 2020, 08:23 |
|
Объясните переход
в форуме Алгебра |
4 |
388 |
28 фев 2018, 18:51 |
|
Индукционный переход | 3 |
139 |
25 апр 2020, 09:13 |
|
Как тут сделали переход?
в форуме Пределы числовых последовательностей и функций, Исследования функций |
1 |
151 |
26 янв 2022, 13:24 |
|
Объясните переход
в форуме Алгебра |
3 |
411 |
18 дек 2014, 17:52 |
|
Не понятен переход
в форуме Алгебра |
1 |
205 |
27 фев 2018, 03:02 |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Кто сейчас на конференции |
Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 15 |
Вы не можете начинать темы Вы не можете отвечать на сообщения Вы не можете редактировать свои сообщения Вы не можете удалять свои сообщения Вы не можете добавлять вложения |