Отправляет email-рассылки с помощью сервиса Sendsay
  Все выпуски  

RFpro.ru: Консультации по математике


РАССЫЛКИ ПОРТАЛА RFPRO.RU

Лучшие эксперты в разделе

Коцюрбенко Алексей aka Жерар
Статус: Мастер-Эксперт
Рейтинг: 337
∙ повысить рейтинг »
Михаил Александров
Статус: Специалист
Рейтинг: 304
∙ повысить рейтинг »
epimkin
Статус: Практикант
Рейтинг: 238
∙ повысить рейтинг »

∙ Математика

Номер выпуска:2242
Дата выхода:25.03.2018, 20:45
Администратор рассылки:Лысков Игорь Витальевич (Старший модератор)
Подписчиков / экспертов:69 / 75
Вопросов / ответов:1 / 1

Консультация # 192964: Уважаемые эксперты! Пожалуйста, помогите с решением задач по дискретной математике: 1. Выяснить, применима ли машина Тьюринга, заданная программой P , к слову S , и если применима, то указать результат применения машины Тьюринга к данному слову (рисунок 1 во вложении. 2. Преобразовать данную формулу так, чтобы она содержала только о...

Консультация # 192964:

Уважаемые эксперты! Пожалуйста, помогите с решением задач по дискретной математике:
1. Выяснить, применима ли машина Тьюринга, заданная программой P , к слову
S , и если применима, то указать результат применения машины Тьюринга к данному
слову (рисунок 1 во вложении.

2. Преобразовать данную формулу так, чтобы она содержала только операции
тесного отрицания, дизъюнкции и конъюнкции. Пользуясь свойствами операций
дизъюнкции и конъюнкции, привести формулу к виду, не содержащему скобок (рисунок 2 во вложении).


Дата отправки: 20.03.2018, 04:11
Вопрос задал: Маргарита (Посетитель)
Всего ответов: 1
Страница онлайн-консультации »


Консультирует Гордиенко Андрей Владимирович (Модератор):

Здравствуйте, Маргарита!

Я думаю, что второе задание можно выполнить так.

Пусть дана формула (x1 ∨ x2) ⇒ (¬x1 ∨ x2)x3. (По техническим причинам для обозначения импликации я использую двойную стрелку вместо одинарной.)

Сначала заменим импликацию дизъюнкцией. Получим ¬(x1 ∨ x2) ∨ (¬x1 ∨ x2)x3.

Заменим отрицание дизъюнкции конъюнкцией: (¬x1¬x2) ∨ (¬x1 ∨ x2)x3.

Воспользуемся дистрибутивностью конъюнкции относительно дизъюнкции: (¬x1¬x2) ∨ (¬x1x3 ∨ x2x3).

Раскроем скобки: ¬x1¬x2 ∨ ¬x1x3 ∨ x2x3.

Консультировал: Гордиенко Андрей Владимирович (Модератор)
Дата отправки: 21.03.2018, 07:34
Рейтинг ответа:

НЕ одобряю 0 одобряю!


Оценить выпуск | Задать вопрос экспертам

главная страница  |  стать участником  |  получить консультацию
техническая поддержка

Дорогой читатель!
Команда портала RFPRO.RU благодарит Вас за то, что Вы пользуетесь нашими услугами. Вы только что прочли очередной выпуск рассылки. Мы старались. Пожалуйста, оцените его. Если совет помог Вам, если Вам понравился ответ, Вы можете поблагодарить автора - для этого в каждом ответе есть специальные ссылки. Вы можете оставить отзыв о работе портале. Нам очень важно знать Ваше мнение. Вы можете поближе познакомиться с жизнью портала, посетив наш форум, почитав журнал, который издают наши эксперты. Если у Вас есть желание помочь людям, поделиться своими знаниями, Вы можете зарегистрироваться экспертом. Заходите - у нас интересно!
МЫ РАБОТАЕМ ДЛЯ ВАС!


В избранное