Добро пожаловать в форум, Guest  >>   Войти | Регистрация | Поиск | Правила | В избранное | Подписаться
Все форумы / Программирование Новый топик    Ответить
Топик располагается на нескольких страницах: [1] 2   вперед  Ctrl      все
 Найдите д.н.ф. и к.н.ф. для :  [new]
artemplatonov
Member

Откуда:
Сообщений: 11
Дискретная математика
Найдите д.н.ф. и к.н.ф. для формул:
1) F = ( ¬x ∨ z ) ≡ ( y ↓ ¬ z)
2) F = ( ¬x → z) | ((y→¬z)|x)
3) F = ¬(z≡(x|y))∧(¬x→z)
помогите пожалуйса
25 ноя 21, 11:36    [22400591]     Ответить | Цитировать Сообщить модератору
 Re: Найдите д.н.ф. и к.н.ф. для :  [new]
Dima T
Member

Откуда:
Сообщений: 16054
Пособие для студентов и школьников
25 ноя 21, 12:57    [22400649]     Ответить | Цитировать Сообщить модератору
 Re: Найдите д.н.ф. и к.н.ф. для :  [new]
artemplatonov
Member

Откуда:
Сообщений: 11
сделайте задание за меня пожалуйста
25 ноя 21, 13:10    [22400662]     Ответить | Цитировать Сообщить модератору
 Re: Найдите д.н.ф. и к.н.ф. для :  [new]
Имя пользователя1
Member

Откуда:
Сообщений: 779
artemplatonov
сделайте задание за меня пожалуйста
бывает.
25 ноя 21, 13:46    [22400684]     Ответить | Цитировать Сообщить модератору
 Re: Найдите д.н.ф. и к.н.ф. для :  [new]
mayton
Member

Откуда: loopback
Сообщений: 52955
artemplatonov
сделайте задание за меня пожалуйста

Это верх наглости!
25 ноя 21, 16:36    [22400809]     Ответить | Цитировать Сообщить модератору
 Re: Найдите д.н.ф. и к.н.ф. для :  [new]
exp98
Member

Откуда:
Сообщений: 3181
artemplatonov, каждую ф-цию представь в табличном виде. После этого днф-кнф можно автоматом получить. Всего лишь 3 переменные, чуть не устно, пособие прочти.
Считаю, что помог.
25 ноя 21, 18:51    [22400877]     Ответить | Цитировать Сообщить модератору
 Re: Найдите д.н.ф. и к.н.ф. для :  [new]
mayton
Member

Откуда: loopback
Сообщений: 52955
Стрелочка вправо - это кажется импликация. Дает false когда 1 -> 0 а в остальных случаях true.

Стелочка вниз - хз.

Чем мог - тем помог.
25 ноя 21, 20:40    [22400936]     Ответить | Цитировать Сообщить модератору
 Re: Найдите д.н.ф. и к.н.ф. для :  [new]
exp98
Member

Откуда:
Сообщений: 3181
mayton
Стелочка вниз - хз.
Возможно, что это штрих Шеффера. Если не он, то сорри.
Они разные бывают.
Импликация это НЕ(А) ИЛИ В.
Штрих - что-то вроде отрицания коньюнкции.
Шеффер'ом, если это он, назывыают функцию, которой одной достаточно вместо всех остальных.

Сообщение было отредактировано: 25 ноя 21, 23:07
25 ноя 21, 23:05    [22400975]     Ответить | Цитировать Сообщить модератору
 Re: Найдите д.н.ф. и к.н.ф. для :  [new]
бабушкин зайчик
Member

Откуда: сетевой
Сообщений: 466
mayton
Дает false когда 1 -> 0 а в остальных случаях true.

фигасе логика у этих математиков
26 ноя 21, 09:39    [22401089]     Ответить | Цитировать Сообщить модератору
 Re: Найдите д.н.ф. и к.н.ф. для :  [new]
exp98
Member

Откуда:
Сообщений: 3181
Обновляю сведения.
exp98
Штрих Шеффера- что-то вроде отрицания коньюнкции.
"|" палка - один штрих Шеффера = коньюнкциЯ отрицаниЙ
Стелочка вниз - второй штрих Шеффера (стрелка Пирса)= отрицание коньюнкции
Импликация= НЕ(А) ИЛИ В.
26 ноя 21, 11:44    [22401156]     Ответить | Цитировать Сообщить модератору
 Re: Найдите д.н.ф. и к.н.ф. для :  [new]
mayton
Member

Откуда: loopback
Сообщений: 52955
бабушкин зайчик
mayton
Дает false когда 1 -> 0 а в остальных случаях true.

фигасе логика у этих математиков

Там смысл шел не от булевой алгебры а от формальных логических систем. Кажется я что-то читал
у И.Братко в учебнике по Prolog.
26 ноя 21, 11:54    [22401167]     Ответить | Цитировать Сообщить модератору
 Re: Найдите д.н.ф. и к.н.ф. для :  [new]
бабушкин зайчик
Member

Откуда: сетевой
Сообщений: 466
кстати, интересно, а чё он пришёл на форум программистов?
видать на форуме математиков его уже послали?
26 ноя 21, 12:20    [22401189]     Ответить | Цитировать Сообщить модератору
 Re: Найдите д.н.ф. и к.н.ф. для :  [new]
mayton
Member

Откуда: loopback
Сообщений: 52955
В этом форуме бывало всяко. И математики-пенсионеры приходили. С шахматами и простыми числами.
26 ноя 21, 13:58    [22401273]     Ответить | Цитировать Сообщить модератору
 Re: Найдите д.н.ф. и к.н.ф. для :  [new]
Wlr-l
Member

Откуда:
Сообщений: 637
"а чё он пришёл на форум программистов?"

Наверно потому, что всё, что находится между if и then или внутри скобок if () или в SQL после ON или WHERE и еще во многих местах, это и есть или ДНФ или КНФ.

"фигасе логика у этих математиков"

Это всего лишь формальная модель, которая никак не связана с нашими житейскими представлениями об истинности и ложности.
26 ноя 21, 14:13    [22401283]     Ответить | Цитировать Сообщить модератору
 Re: Найдите д.н.ф. и к.н.ф. для :  [new]
бабушкин зайчик
Member

Откуда: сетевой
Сообщений: 466
Wlr-l
Наверно потому, что всё, что находится между if и then или внутри скобок if () или в SQL после ON или WHERE и еще во многих местах, это и есть или ДНФ или КНФ.

ну давайте ещё интегралов напихаем в наши if и спляшем с ними
он то пришёл сюда с формулами, мол "решите мне" (следующий шаг - нарисуйте графики)
а тут вообще про другое
26 ноя 21, 14:29    [22401300]     Ответить | Цитировать Сообщить модератору
 Re: Найдите д.н.ф. и к.н.ф. для :  [new]
mayton
Member

Откуда: loopback
Сообщений: 52955
Ну можно в Вопрос-Ответ перенести.
26 ноя 21, 15:37    [22401345]     Ответить | Цитировать Сообщить модератору
 Re: Найдите д.н.ф. и к.н.ф. для :  [new]
Wlr-l
Member

Откуда:
Сообщений: 637
"давайте ещё интегралов напихаем в наши if"

Без проблем. Для булевых (логических) функций определены операции дифференцирования и интегрирования:

https://ru.wikipedia.org/wiki/Производная_булевой_функции#:~:text=Производная булевой функции (булева производная,и анализе дискретных динамических систем.

Чуть более подробно можно посмотреть, например, здесь

http://www.rusnauka.com/20_DNII_2012/Matemathics/2_114385.doc.htm

Первой работой в этом направлении на доступном нам языке, я думаю, была

Бохманн Д. Булевское дифференциальное исчисление. Обзор // Труды АН СССР, Техническая кибернетика, т. 15, № 5, 1977. - с. 68-75.
27 ноя 21, 01:16    [22401613]     Ответить | Цитировать Сообщить модератору
 Re: Найдите д.н.ф. и к.н.ф. для :  [new]
ShSerge
Member

Откуда: ʚонɔ dиw
Сообщений: 25201
Я сдавал спецкурс по дискретной математике(МГУ), но что-то этих аббревиатур не помню.
27 ноя 21, 06:53    [22401649]     Ответить | Цитировать Сообщить модератору
 Re: Найдите д.н.ф. и к.н.ф. для :  [new]
Wlr-l
Member

Откуда:
Сообщений: 637
"Я сдавал спецкурс по дискретной математике(МГУ), но что-то этих аббревиатур не помню."

Скорее всего вы учили дискретную математику по книге Яблонского, профессора МГУ,

Яблонский С. В. Введение в дискретную математику: Учебное пособие для вузов. — 6-е изд. — М.: Высшая школа, 2010. — 384 с. — ISBN 978-5-06-004681-6.

Возможно, не этого издания.

Загляните в эту книгу часть 1. Функциональные системы с операциями, параграф 4. Разложение булевых функций по переменным. Совершенная дизъюнктивная нормальная форма.


Психологи говорят, что человек с возрастом лучше помнит то, что происходило в далеком прошлом, чем то, что происходило в недавнем прошлом, скажем, вчера.

Я, например, хорошо помню свои первые проекты и забываю написанное вчера.
У вас в этом плане огромное преимущество, вы не помните студенческие годы.
27 ноя 21, 13:56    [22401792]     Ответить | Цитировать Сообщить модератору
 Re: Найдите д.н.ф. и к.н.ф. для :  [new]
vikkiv
Member

Откуда: EU
Сообщений: 3010
форум ITшный, всё давно посчитано за людей, ничего думать не надо, вопрос чисто на копирование
дизъюнктивная и конъюнктивная н. формы соответственно видны здесь:
1)
https://www.wolframalpha.com/input/?i=Or[Not[x],z]==Nor[y, Not[z]]
2)
https://www.wolframalpha.com/input/?i=Nand[Implies[Not[x],z],Nand[Implies[y,Not[z]],x]]
3)
https://www.wolframalpha.com/input/?i=And[Not[z==Nand[x,y]],Implies[Not[x],z]]

Сообщение было отредактировано: 27 ноя 21, 17:00
27 ноя 21, 16:52    [22401869]     Ответить | Цитировать Сообщить модератору
 Re: Найдите д.н.ф. и к.н.ф. для :  [new]
vikkiv
Member

Откуда: EU
Сообщений: 3010
https://www.wolframalpha.com/input/?i=Or[Not[x],z]==Nor[y, Not[z]]
https://www.wolframalpha.com/input/?i=Nand[Implies[Not[x],z],Nand[Implies[y,Not[z]],x]]
https://www.wolframalpha.com/input/?i=And[Not[z==Nand[x,y]],Implies[Not[x],z]]
27 ноя 21, 17:00    [22401875]     Ответить | Цитировать Сообщить модератору
 Re: Найдите д.н.ф. и к.н.ф. для :  [new]
mayton
Member

Откуда: loopback
Сообщений: 52955
Для начала надо табличку истинности сделать.

Что-то вроде
xyzF1F2F3
28 ноя 21, 00:17    [22402004]     Ответить | Цитировать Сообщить модератору
 Re: Найдите д.н.ф. и к.н.ф. для :  [new]
ShSerge
Member

Откуда: ʚонɔ dиw
Сообщений: 25201
artemplatonov
Дискретная математика
Найдите д.н.ф. и к.н.ф. для формул:
1) F = ( ¬x ∨ z ) ≡ ( y ↓ ¬ z)
2) F = ( ¬x → z) | ((y→¬z)|x)
3) F = ¬(z≡(x|y))∧(¬x→z)
помогите пожалуйса

Офигеть! Сдавал в МГУ спецкурс по дискретной математике. Нифига не понял.
28 ноя 21, 10:21    [22402070]     Ответить | Цитировать Сообщить модератору
 Re: Найдите д.н.ф. и к.н.ф. для :  [new]
vikkiv
Member

Откуда: EU
Сообщений: 3010
ShSerge,

это подраздел математической логики,
вся эта производная муть сводится к трём простым операциям: AND,OR,NOT
упрощается формулами булевой алгебры
через какие символы пишут - это уже кто во что горазд, не напасёшся следить за всеми вариациями.
28 ноя 21, 13:11    [22402119]     Ответить | Цитировать Сообщить модератору
 Re: Найдите д.н.ф. и к.н.ф. для :  [new]
mayton
Member

Откуда: loopback
Сообщений: 52955
xyzF1F2F3
000
001
010
011
100
101
110
111
28 ноя 21, 16:05    [22402191]     Ответить | Цитировать Сообщить модератору
Топик располагается на нескольких страницах: [1] 2   вперед  Ctrl      все
Все форумы / Программирование Ответить