19.01.2019, 22:56 [+3 UTC]
в нашей команде: 3 341 чел. | участники онлайн: 7 (рекорд: 20)

:: РЕГИСТРАЦИЯ

:: задать вопрос

:: все разделы

:: правила

:: новости

:: участники

:: доска почёта

:: форум

:: блоги

:: поиск

:: статистика

:: наш журнал

:: наши встречи

:: наша галерея

:: отзывы о нас

:: поддержка

:: руководство

Версия системы:
7.64 (07.01.2019)
JS-v.1.31 | CSS-v.3.35

Общие новости:
01.01.2019, 13:54

Форум:
14.01.2019, 10:08

Последний вопрос:
19.01.2019, 20:34
Всего: 148529

Последний ответ:
19.01.2019, 22:49
Всего: 257606

Последняя рассылка:
19.01.2019, 08:45

Писем в очереди:
0

Мы в соцсетях:

Наша кнопка:

RFpro.ru - здесь вам помогут!

Отзывы о нас:
18.11.2010, 23:37 »
Маша Гришина
Спасибо вам огромное. Понравилось: оперативность, подробные пояснения,генератор псевдослучайных чисел!!!! Всё сразу заработало. [вопрос № 180810, ответ № 264121]
13.04.2010, 23:47 »
lamed
Спасибо! Оперативно, с хорошими комментариями. [вопрос № 177834, ответ № 260791]
02.11.2011, 17:00 »
Ольга А.
Спасибо огромное. [вопрос № 184365, ответ № 268634]

РАЗДЕЛ • Математика

Консультации и решение задач по алгебре, геометрии, анализу, дискретной математике.

[администратор рассылки: Лысков Игорь Витальевич (Старший модератор)]

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

Гордиенко Андрей Владимирович
Статус: Модератор
Рейтинг: 6567
Коцюрбенко Алексей aka Жерар
Статус: Мастер-Эксперт
Рейтинг: 361
epimkin
Статус: Практикант
Рейтинг: 298

Перейти к консультации №:
 

Консультация онлайн # 194401
Раздел: • Математика
Автор вопроса: Артур (Посетитель)
Отправлена: 11.01.2019, 16:02
Поступило ответов: 1

Здравствуйте, уважаемые эксперты! Прошу вас ответить на следующий вопрос:

Задана формула φ. От формулы φ перейти к эквивалентной ей формуле ψ так, чтобы формула ψ не содержала связок "→" и "↔". Исходя из истинностных таблиц доказать, что формулы φ и ψ равносильны (логически эквивалентны).
φ=¬p→(p∧q)

Последнее редактирование 13.01.2019, 08:26 Гордиенко Андрей Владимирович (Модератор)

Состояние: Консультация закрыта

Здравствуйте, Артур!

Пусть дана формула

φ=¬p→(p∧q). (1)

Заменяя импликацию дизъюнкцией, получим
¬p→(p∧q)≡¬¬p∨(p∧q).

Используя закон двойного отрицания, получим
¬¬p∨(p∧q)≡p∨(p∧q).

Используя закон поглощения, получим
p∨(p∧q)≡p.

В результате тождественных преобразований мы получили формулу
ψ=p. (2)


Составим таблицу истинности для формулы (1).

p q ¬p p∧q ¬p→(p∧q)
0 0 1 0 0
0 1 1 0 0
1 0 0 0 1
1 1 0 1 1


Из полученной таблицы истинности видно, что значения в первом и последнем столбцах совпадают. Этим доказана эквивалентность формул (1) и (2).


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

5
Благодарю за подробное решение и помощь в решении задачи!
-----
Дата оценки: 14.01.2019, 19:31

Рейтинг ответа:

+1

[подробно]

Сообщение
модераторам

Отправлять сообщения
модераторам могут
только участники портала.
ВОЙТИ НА ПОРТАЛ »
регистрация »

Мини-форум консультации № 194401
Артур
Посетитель

ID: 402691

# 1

= общий = | 11.01.2019, 16:08 | цитировать цитировать  | профиль профиль  |  отправить письмо в личную почту пейджер

φ=¬p→(p∧q)

 

Возможность оставлять сообщения в мини-форумах консультаций доступна только после входа в систему.
Воспользуйтесь кнопкой входа вверху страницы, если Вы зарегистрированы или пройдите простую процедуру регистрации на Портале.

Яндекс Rambler's Top100

главная страница | поддержка | задать вопрос

Время генерирования страницы: 0.22517 сек.

© 2001-2019, Портал RFPRO.RU, Россия
Калашников О.А.  |  Гладенюк А.Г.
Версия системы: 7.64 от 07.01.2019
Версия JS: 1.31 | Версия CSS: 3.35