Дискуссионный математический форумМатематический форум
Математический форум Math Help Planet

Обсуждение и решение задач по математике, физике, химии, экономике

Теоретический раздел
Часовой пояс: UTC + 3 часа [ Летнее время ]
новый онлайн-сервис
число, сумма и дата прописью

Часовой пояс: UTC + 3 часа [ Летнее время ]




Начать новую тему Ответить на тему  [ Сообщений: 2 ] 
Автор Сообщение
 Заголовок сообщения: Найти все посылки, из которых следует данная формула
СообщениеДобавлено: 01 дек 2013, 00:03 
Не в сети
Начинающий
Зарегистрирован:
24 янв 2012, 04:49
Сообщений: 13
Cпасибо сказано: 4
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Задание вроде простое, алгоритм понятен, однако вывод получился странный, не уверен что все правильно сделал.
Дана формула: [math]\overline{X} \land Y[/math], вот для нее и нужно найти посылки
1) Нахожу СКНФ. Получаю: [math](X \lor Y)(\overline{X} \lor Y)(\overline{X} \lor \overline{Y})[/math]
СКНФ проверил по таблице истинности - все верно
2) Находим отсутствующие совершенные дизъюнктивные одночлены, здесь сразу видно что он один: [math](X \lor \overline{Y})[/math]
3) Составляем формулы для нахождения посылок, а так как СДО у нас один, получится одна формула:
[math]\overline{X} \land Y \land (X \lor \overline{Y})[/math]
Однако данная формула тождественно ложная, а значит посылкой не является
Вывод: посылок нет

Вопрос: Справедливо ли все вышенаписанное?

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Найти все посылки, из которых следует данная формула
СообщениеДобавлено: 01 дек 2013, 00:20 
Не в сети
Верховный модератор
Аватара пользователя
Зарегистрирован:
13 окт 2010, 13:09
Сообщений: 19961
Откуда: Пермь + Одесса
Cпасибо сказано: 11721
Спасибо получено:
5319 раз в 4796 сообщениях
Очков репутации: 708

Добавить очки репутацииУменьшить очки репутации
Значит не тождественно ложных посылок нет.

Вернуться к началу
 Профиль  
Cпасибо сказано 
За это сообщение пользователю mad_math "Спасибо" сказали:
Bullgamer
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему      Страница 1 из 1 [ Сообщений: 2 ]

 Похожие темы   Автор   Ответы   Просмотры   Последнее сообщение 
Параметры a, b , при которых данная система ур-ий пл-тей

в форуме Аналитическая геометрия и Векторная алгебра

cheemical

1

383

26 дек 2015, 10:46

Почему у интеграла данная формула?

в форуме Интегральное исчисление

sfanter

3

638

24 янв 2016, 09:13

Каким образом получена данная формула?

в форуме Тригонометрия

tlt

3

343

18 янв 2019, 18:06

Установить, является ли данная формула тождественно-истинной

в форуме Дискретная математика, Теория множеств и Логика

Maxim30

10

1447

28 окт 2015, 16:43

Что следует из равенства?

в форуме Аналитическая геометрия и Векторная алгебра

H0las

7

514

23 окт 2015, 16:42

Проверьте алгебраически, следует ли v из m

в форуме Дискретная математика, Теория множеств и Логика

Skablet

1

139

17 апр 2020, 13:43

Найти все комплексные z, при которых |tg z|=1

в форуме Комплексный анализ и Операционное исчисление

Kirill1986

13

1379

04 окт 2017, 08:15

Найти все х для которых ряд сходится

в форуме Ряды

yelesar

2

361

24 мар 2023, 17:16

Найти К, при которых оба корня отрицательны

в форуме Алгебра

Nas_tya+-

1

309

02 мар 2015, 22:36

На поверхности найти точки, в которых

в форуме Линейная и Абстрактная алгебра

xnalio

1

237

06 июл 2021, 14:01


Часовой пояс: UTC + 3 часа [ Летнее время ]



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 24


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Перейти:  

Яндекс.Метрика

Copyright © 2010-2023 MathHelpPlanet.com. All rights reserved