Математический форум Math Help Planet
Обсуждение и решение задач по математике, физике, химии, экономике Теоретический раздел |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
новый онлайн-сервис число, сумма и дата прописью |
|
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Страница 1 из 1 |
[ Сообщений: 2 ] |
|
Автор | Сообщение | |
---|---|---|
Bullgamer |
|
|
Дана формула: [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] Однако данная формула тождественно ложная, а значит посылкой не является Вывод: посылок нет Вопрос: Справедливо ли все вышенаписанное? |
||
Вернуться к началу | ||
mad_math |
|
|
Значит не тождественно ложных посылок нет.
|
||
Вернуться к началу | ||
За это сообщение пользователю mad_math "Спасибо" сказали: Bullgamer |
||
[ Сообщений: 2 ] |
Похожие темы | Автор | Ответы | Просмотры | Последнее сообщение |
---|---|---|---|---|
Параметры a, b , при которых данная система ур-ий пл-тей | 1 |
383 |
26 дек 2015, 10:46 |
|
Почему у интеграла данная формула?
в форуме Интегральное исчисление |
3 |
638 |
24 янв 2016, 09:13 |
|
Каким образом получена данная формула?
в форуме Тригонометрия |
3 |
343 |
18 янв 2019, 18:06 |
|
Установить, является ли данная формула тождественно-истинной | 10 |
1447 |
28 окт 2015, 16:43 |
|
Что следует из равенства? | 7 |
514 |
23 окт 2015, 16:42 |
|
Проверьте алгебраически, следует ли v из m | 1 |
139 |
17 апр 2020, 13:43 |
|
Найти все комплексные z, при которых |tg z|=1 | 13 |
1379 |
04 окт 2017, 08:15 |
|
Найти все х для которых ряд сходится
в форуме Ряды |
2 |
361 |
24 мар 2023, 17:16 |
|
Найти К, при которых оба корня отрицательны
в форуме Алгебра |
1 |
309 |
02 мар 2015, 22:36 |
|
На поверхности найти точки, в которых
в форуме Линейная и Абстрактная алгебра |
1 |
237 |
06 июл 2021, 14:01 |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Кто сейчас на конференции |
Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 24 |
Вы не можете начинать темы Вы не можете отвечать на сообщения Вы не можете редактировать свои сообщения Вы не можете удалять свои сообщения Вы не можете добавлять вложения |