Математический форум Math Help Planet
Обсуждение и решение задач по математике, физике, химии, экономике Теоретический раздел |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
новый онлайн-сервис число, сумма и дата прописью |
|
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Страница 1 из 1 |
[ Сообщений: 4 ] |
|
Автор | Сообщение | |
---|---|---|
EldosZ1 |
|
|
Вернуться к началу | ||
3D Homer |
|
|
EldosZ1 писал(а): Не уверен что у меня правильно выходит Мы тоже не уверены, пока вы нам не покажете попытку решения. Желательно использовать редактор формул, но можно писать формулы и текстом, например, x /\ ~(y \/ ~x) -> z. |
||
Вернуться к началу | ||
EldosZ1 |
|
|
3D Homer писал(а): EldosZ1 писал(а): Не уверен что у меня правильно выходит Мы тоже не уверены, пока вы нам не покажете попытку решения. Желательно использовать редактор формул, но можно писать формулы и текстом, например, x /\ ~(y \/ ~x) -> z.Прошу прощения)) в замешательстве потому что я не думаю что на первом фото я нашел днф. тема новая и немного непонятная лично для меня |
||
Вернуться к началу | ||
3D Homer |
|
|
Все правильно. Эта же формула ~x \/ y \/ z, как ни странно, является не только КНФ, но и СКНФ.
|
||
Вернуться к началу | ||
За это сообщение пользователю 3D Homer "Спасибо" сказали: EldosZ1 |
||
[ Сообщений: 4 ] |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Кто сейчас на конференции |
Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 25 |
Вы не можете начинать темы Вы не можете отвечать на сообщения Вы не можете редактировать свои сообщения Вы не можете удалять свои сообщения Вы не можете добавлять вложения |