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

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

Подписаться Бесплатная «Серебряная» новостная рассылка . Подписчиков 106 RSS
←   Июль 2010   →
 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31


За последние 60 дней ни разу не выходила


Сайт рассылки: http://rusfaq.ru/issues/8/19/525
Открыта: 17-04-2009

Автор
Калашников О.А.

Статистика

106 подписчиков
0 за неделю
←   Все выпуски   →

RFpro.ru: Дискретная математика


Хостинг портала RFpro.ru:
Московский хостер
Профессиональный ХОСТИНГ на базе Linux x64 и Windows x64

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

Чемпионы рейтинга экспертов в этой рассылке

Гордиенко Андрей Владимирович
Статус: Академик
Рейтинг: 6805
∙ повысить рейтинг » 		Гаряка Асмик
Статус: Профессионал
Рейтинг: 4492
∙ повысить рейтинг » 		Абаянцев Юрий Леонидович aka Ayl
Статус: Профессионал
Рейтинг: 2034
∙ повысить рейтинг »

/ НАУКА И ОБРАЗОВАНИЕ / Точные и естественные науки / Дискретная математика

Номер выпуска:210
Дата выхода:27.07.2010, 00:00
Администратор рассылки:Гаряка Асмик, Профессионал
Подписчиков / экспертов:64 / 48
Вопросов / ответов:1 / 1

Вопрос № 179564: Здравствуйте уважаемые эксперты, помогите пожалуйста решить задачу: Записать таблицу истинности составного логического высказывания ( -x*y → z) ∨ ( -z → x*-y*z)*x*z. -x - это отрицание x (не x)...

Вопрос № 179564:

Здравствуйте уважаемые эксперты, помогите пожалуйста решить задачу:
Записать таблицу истинности составного логического высказывания
( -x*y → z) ∨ ( -z → x*-y*z)*x*z.

-x - это отрицание x (не x)

Отправлен: 21.07.2010, 20:46
Вопрос задал: Чаркин Иван Александрович, 4-й класс
Всего ответов: 1
Страница вопроса »

Отвечает Лысков Игорь Витальевич, Старший модератор :
Здравствуйте, Чаркин Иван Александрович.
Поскольку операции имеют следующий порядок приоритетов (в порядке возрастания): →, ∨, *, -, то предполагаем, что имеем
( ((-x)*y) → z) ∨ (( (-z) → (x*(-y)*z))*x*z)
Для сокращения записи обозначим цифрами номера столбцов
1 = x
2 = y
3 = z
4 = -x = -1
5 = -y = -2
6 = -z = -3
7 = (-x)*y = 4*2
8 = ((-x)*y)→z = 7→3
9 = x*(-y) = 1*5
10 = (x*(-y))*z = 9*3
11 = (-z)→((x*(-y))*z) = 6->10
12 = ((-z)→((x*(-y))*z))*x = 11*1
13 = ((-z)→((x*(-y))*z))*x*z = 12*3
14 = (((-x)*y)→z)∨(((-z)→((x*(-y))*z))*x*z) = 8∨13
Код:
1  2  3  
 4  5  6  7  8  9 10 11 12 13 14

0  0  0  1  1  1  0  1  0  0  0  0  0  1
0  0  1  1  1  0  0  1  0  0  1  0  0  1
0  1  0  1  0  1  1  0  0  0  0  0  0  0
0  1  1  1  0  0  1  1  0  0  1  0  0  1
1  0  0  0  1  1  0  1  1  0  0  0  0  1
1  0  1  0  1  0  0  1  1  1  1  1  1  1
1  1  0  0  0  1  0  1  0  0  0  0  0  1
1  1  1  0  0  0  0  1  0  0  1  1  1  1
Если что-то непонятно или имелось в виду что-то другое, спрашивайте в мини-форуме
-----
Люби своего ближнего, как самого себя

Ответ отправил: Лысков Игорь Витальевич, Старший модератор
Ответ отправлен: 22.07.2010, 10:10
Номер ответа: 262627
Украина, Кировоград
Тел.: +380957525051
ICQ # 234137952
Mail.ru-агент: igorlyskov@mail.ru

Вам помог ответ? Пожалуйста, поблагодарите эксперта за это!
Как сказать этому эксперту "спасибо"?
  • Отправить SMS #thank 262627 на номер 1151 (Россия) | Еще номера »
  • Отправить WebMoney:

    • Оценить выпуск »
    Нам очень важно Ваше мнение об этом выпуске рассылки!

    Задать вопрос экспертам этой рассылки »

    Скажите "спасибо" эксперту, который помог Вам!

    Отправьте СМС-сообщение с тестом #thank НОМЕР_ОТВЕТА
    на короткий номер 1151 (Россия)
    Номер ответа и конкретный текст СМС указан внизу каждого ответа.

    Полный список номеров »

    * Стоимость одного СМС-сообщения от 7.15 руб. и зависит от оператора сотовой связи. (полный список тарифов)
    ** При ошибочном вводе номера ответа или текста #thank услуга считается оказанной, денежные средства не возвращаются.
    *** Сумма выплаты эксперту-автору ответа расчитывается из суммы перечислений на портал от биллинговой компании.

    © 2001-2010, Портал RFpro.ru, Россия
    Авторское право: ООО "Мастер-Эксперт Про"
    Автор: Калашников О.А. | Программирование: Гладенюк А.Г.
    Хостинг: Компания "Московский хостер"
    Версия системы: 2010.6.16 от 26.05.2010
    В избранное