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

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

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

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




Начать новую тему Ответить на тему  [ Сообщений: 3 ] 
Автор Сообщение
 Заголовок сообщения: Минимизироват дизъюнктивную нормальную форму методом Блейка
СообщениеДобавлено: 05 ноя 2022, 15:40 
Не в сети
Начинающий
Зарегистрирован:
12 окт 2022, 18:47
Сообщений: 3
Cпасибо сказано: 0
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Добрый вечер, требуется минимизировать данную дизъюнктивную нормальную форму методом Блейка.

x!yz v !x!p!z v y!z!p v yzp v xy v xz

В частности не совсем понимаю как работает формула склейки. Ax v B!x = Ax v B!x v AB

В итоге у меня не сходится с СДНФ по Квайну. Хотя я думаю, что ответы должны быть идентичные друг-другу.

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Минимизироват дизъюнктивную нормальную форму методом Блейка
СообщениеДобавлено: 05 ноя 2022, 19:41 
Не в сети
Последняя инстанция
Зарегистрирован:
06 июн 2013, 16:17
Сообщений: 2590
Cпасибо сказано: 104
Спасибо получено:
746 раз в 701 сообщениях
Очков репутации: 158

Добавить очки репутацииУменьшить очки репутации
Я не особенно знаком с методом Блейка, но что значит, что вы не понимаете, как работает формула склейки? Нужно формулу, имеющую форму в левой части равенства, заменить на правую часть.

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Минимизироват дизъюнктивную нормальную форму методом Блейка
СообщениеДобавлено: 06 ноя 2022, 10:00 
Не в сети
Начинающий
Зарегистрирован:
23 окт 2013, 07:40
Сообщений: 12
Cпасибо сказано: 6
Спасибо получено:
3 раз в 3 сообщениях
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Формула склейки работает так, например:
x [math]\lnot[/math] yz v xy = x [math]\lnot[/math] yz v xy v xz = xy v xz (Тут в качестве А выступает xz, в качестве B выступает y)
как видите, потом xz поглотит x [math]\lnot[/math] yz и формула упростится.

смотрите например для второго и пятого:
[math]\lnot[/math]x[math]\lnot[/math]p[math]\lnot[/math]z v xy = [math]\lnot[/math]x[math]\lnot[/math]p[math]\lnot[/math]z v xy v [math]\lnot[/math]p[math]\lnot[/math]zy

В вашем случае все наоборот делается, формула применяется справа налево.
x!yz v (!x!p!z v xy v y!z!p) v yzp v xz =
=x!yz v !x!p!z v xy v yzp v xz = (поглощается)
=!x!p!z v xy v yzp v xz

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

 Похожие темы   Автор   Ответы   Просмотры   Последнее сообщение 
Построить совершенную дизъюнктивную нормальную форму

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

Narcifal

1

75

30 окт 2021, 18:12

Как найти нормальную конъюнктивную форму

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

anton3399

11

633

16 ноя 2014, 15:35

Найти нормальную жорданову форму

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

XtiG

3

585

31 май 2017, 17:35

Как преобразовать в Нормальную форму Хомского?

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

Viktors

3

357

03 июл 2021, 21:01

Найти жорданов базис и жорданову нормальную форму матрицы

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

liefasm

3

752

08 янв 2020, 16:27

Привести квадратическую форму методом Лагранжа

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

Avrora

5

346

16 фев 2016, 17:08

Преобразовать квадратичную форму методом Лагранжа

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

crazymadman18

2

457

16 июн 2017, 12:16

Привести квадратичную форму, к каноническому виду методом Ла

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

Chevy2

3

525

13 май 2014, 09:55

Привести квадратичную форму к каноническому методом Лагранжа

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

iksayzer

0

320

28 май 2014, 23:14

Привести квадратичную форму к каноническому виду методом Лаг

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

adnrud

1

261

10 дек 2018, 21:57


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



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

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


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

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

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

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