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

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

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

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




Начать новую тему Ответить на тему  [ Сообщений: 11 ]  На страницу 1, 2  След.
Автор Сообщение
 Заголовок сообщения: Записать в КНФ
СообщениеДобавлено: 17 май 2018, 14:00 
Не в сети
Начинающий
Зарегистрирован:
17 окт 2017, 12:30
Сообщений: 18
Cпасибо сказано: 1
Спасибо получено:
1 раз в 1 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Изображение

При преобразованиях получается либо 1, либо останавливается на дизьюнкции четырёх символов.

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Записать в КНФ
СообщениеДобавлено: 17 май 2018, 14:09 
Не в сети
Любитель математики
Аватара пользователя
Зарегистрирован:
16 июл 2011, 08:33
Сообщений: 22268
Откуда: Беларусь, Минск
Cпасибо сказано: 2096
Спасибо получено:
4958 раз в 4631 сообщениях
Очков репутации: 845

Добавить очки репутацииУменьшить очки репутации
SamJa
Почему бы Вам не показать своё решение?

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Записать в КНФ
СообщениеДобавлено: 17 май 2018, 14:13 
Не в сети
Beautiful Mind
Зарегистрирован:
20 сен 2013, 23:46
Сообщений: 1593
Cпасибо сказано: 420
Спасибо получено:
364 раз в 305 сообщениях
Очков репутации: 80

Добавить очки репутацииУменьшить очки репутации
SamJa писал(а):
либо останавливается на дизьюнкции четырёх символов.
SamJa
Четырёх? Это как? Немного не понял. У Вас же всего три логические переменные.

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Записать в КНФ
СообщениеДобавлено: 17 май 2018, 14:14 
Не в сети
Начинающий
Зарегистрирован:
17 окт 2017, 12:30
Сообщений: 18
Cпасибо сказано: 1
Спасибо получено:
1 раз в 1 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Gagarin писал(а):
SamJa писал(а):
либо останавливается на дизьюнкции четырёх символов.
SamJa
Четырёх? Это как? Немного не понял. У Вас же всего три логические переменные.


Четырёх, потому как остаётся в конце A,C, отрицание A и отрицание B

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Записать в КНФ
СообщениеДобавлено: 17 май 2018, 14:19 
Не в сети
Начинающий
Зарегистрирован:
17 окт 2017, 12:30
Сообщений: 18
Cпасибо сказано: 1
Спасибо получено:
1 раз в 1 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Andy писал(а):
SamJa
Почему бы Вам не показать своё решение?



Изображение

Вернуться к началу
 Профиль  
Cпасибо сказано 
За это сообщение пользователю SamJa "Спасибо" сказали:
Andy
 Заголовок сообщения: Re: Записать в КНФ
СообщениеДобавлено: 17 май 2018, 14:24 
Не в сети
Любитель математики
Аватара пользователя
Зарегистрирован:
16 июл 2011, 08:33
Сообщений: 22268
Откуда: Беларусь, Минск
Cпасибо сказано: 2096
Спасибо получено:
4958 раз в 4631 сообщениях
Очков репутации: 845

Добавить очки репутацииУменьшить очки репутации
SamJa
По крайней мере, видно, что Вы пытались сами выполнить задание. Это замечательно! :) Один из способов проверки заключается в использовании таблицы истинности. Вы его применили?

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Записать в КНФ
СообщениеДобавлено: 17 май 2018, 14:29 
Не в сети
Начинающий
Зарегистрирован:
17 окт 2017, 12:30
Сообщений: 18
Cпасибо сказано: 1
Спасибо получено:
1 раз в 1 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Andy писал(а):
SamJa
По крайней мере, видно, что Вы пытались сами выполнить задание. Это замечательно! :) Один из способов проверки заключается в использовании таблицы истинности. Вы его применили?



Применил. Одни единицы

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Записать в КНФ
СообщениеДобавлено: 17 май 2018, 14:35 
Не в сети
Любитель математики
Аватара пользователя
Зарегистрирован:
16 июл 2011, 08:33
Сообщений: 22268
Откуда: Беларусь, Минск
Cпасибо сказано: 2096
Спасибо получено:
4958 раз в 4631 сообщениях
Очков репутации: 845

Добавить очки репутацииУменьшить очки репутации
SamJa
Значит, заданная функция тождественно равна единице и не может быть сведена к КНФ.

Вернуться к началу
 Профиль  
Cпасибо сказано 
За это сообщение пользователю Andy "Спасибо" сказали:
SamJa
 Заголовок сообщения: Re: Записать в КНФ
СообщениеДобавлено: 17 май 2018, 14:37 
Не в сети
Начинающий
Зарегистрирован:
17 окт 2017, 12:30
Сообщений: 18
Cпасибо сказано: 1
Спасибо получено:
1 раз в 1 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Andy писал(а):
SamJa
Значит, заданная функция тождественно равна единице и не может быть сведена к КНФ.



Спасибо

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Записать в КНФ
СообщениеДобавлено: 18 май 2018, 20:57 
Не в сети
Последняя инстанция
Зарегистрирован:
26 янв 2014, 16:58
Сообщений: 2657
Cпасибо сказано: 0
Спасибо получено:
538 раз в 525 сообщениях
Очков репутации: 120

Добавить очки репутацииУменьшить очки репутации
Предлагаю по действиям. [math]\overline{B \land A} = \overline{B} \lor \overline{A}; A \to (\overline{B} \lor \overline{A}) = \overline{A} \lor (\overline{B} \lor \overline{A}) = \overline{B} \lor \overline{A}; \overline{\overline{B} \lor \overline{A}} = A \land B; (A \land B) \to (A \lor C) = \overline{A \land B} \lor (A \lor C)= A \lor B \lor C[/math]

Вернуться к началу
 Профиль  
Cпасибо сказано 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему    На страницу 1, 2  След.  Страница 1 из 2 [ Сообщений: 11 ]

 Похожие темы   Автор   Ответы   Просмотры   Последнее сообщение 
Записать в полярной ск

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

tanyhaftv

13

397

04 фев 2019, 15:48

Записать линейное ДУ по ФСР

в форуме Дифференциальные и Интегральные уравнения

351w

2

283

16 май 2018, 06:21

Записать высказывание

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

belke

2

89

16 янв 2023, 09:45

Записать множество

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

IJAII_11

2

157

11 сен 2021, 13:23

Записать ряд по типу sum{k=0... и тд

в форуме Ряды

AlexSam

3

540

05 июн 2015, 14:26

Записать множество

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

IJAII_11

2

92

30 окт 2021, 13:52

Как правильно записать

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

ALEXIN

2

2427

25 фев 2015, 06:40

Записать в виде ряда

в форуме Ряды

studenenter

3

353

04 апр 2015, 17:52

Записать в виде формулы

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

tanyhaftv

2

270

26 мар 2018, 00:32

Записать уравнение кривой,

в форуме Дифференциальные и Интегральные уравнения

tanyhaftv

7

921

27 мар 2018, 15:35


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



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

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


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

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

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

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