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

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

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

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




Начать новую тему Ответить на тему  [ Сообщений: 7 ] 
Автор Сообщение
 Заголовок сообщения: Логические преобразования
СообщениеДобавлено: 24 ноя 2012, 15:41 
Не в сети
Начинающий
Зарегистрирован:
15 ноя 2012, 21:40
Сообщений: 8
Cпасибо сказано: 1
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
По какому правилу получили эту формулу
(не X * не Z) * (не X или Y) = не X *(не Z * (не X + Y))

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

Добавить очки репутацииУменьшить очки репутации
Razum_Genija писал(а):
По какому правилу получили эту формулу
По свойству ассоциативности логических операций.

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Логические преобразования
СообщениеДобавлено: 24 ноя 2012, 16:47 
Не в сети
Начинающий
Зарегистрирован:
15 ноя 2012, 21:40
Сообщений: 8
Cпасибо сказано: 1
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
[math](\neg x \wedge \neg z) \wedge (\neg x \vee y) \cong (\neg x \wedge \neg z) \vee (\neg x \wedge y \wedge \neg z)[/math]


Последний раз редактировалось Razum_Genija 24 ноя 2012, 17:25, всего редактировалось 1 раз.
Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Логические преобразования
СообщениеДобавлено: 24 ноя 2012, 17:21 
Не в сети
Верховный модератор
Аватара пользователя
Зарегистрирован:
13 окт 2010, 13:09
Сообщений: 19961
Откуда: Пермь + Одесса
Cпасибо сказано: 11721
Спасибо получено:
5319 раз в 4796 сообщениях
Очков репутации: 708

Добавить очки репутацииУменьшить очки репутации
Razum_Genija писал(а):
[math](\neg x \wedge \neg z) \wedge (\neg x \vee y) \cong (\neg x \wedge \neg z) \vee (\neg x \wedge y \wedge \neg z)[/math]

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

Добавить очки репутацииУменьшить очки репутации
А можно так
[math](\bar{x}\wedge\bar{z})\wedge(\bar{x}\vee y)=(\bar{z}\wedge\bar{x})\wedge(\bar{x}\vee y)=\bar{z}\wedge\left(\bar{x}\wedge(\bar{x}\vee y)\right)=\bar{z}\wedge\bar{x}[/math]

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Логические преобразования
СообщениеДобавлено: 24 ноя 2012, 17:31 
Не в сети
Начинающий
Зарегистрирован:
15 ноя 2012, 21:40
Сообщений: 8
Cпасибо сказано: 1
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
[math]$$(\neg x \wedge \neg z) \wedge (\neg x \vee y) \cong (\neg x \wedge \neg z) \vee (\neg x \wedge y \wedge \neg z)$$[/math]
По какому правилу эта равносильность получилась?

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

Добавить очки репутацииУменьшить очки репутации
Razum_Genija писал(а):
[math]$$(\neg x \wedge \neg z) \wedge (\neg x \vee y) \cong (\neg x \wedge \neg z) \vee (\neg x \wedge y \wedge \neg z)$$[/math]
По какому правилу эта равносильность получилась?
Закон дистрибутивности.
Может вам их уже как-то выучить?
http://ru.wikipedia.org/wiki/%D0%90%D0% ... 0.B8.D0.B9

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

 Похожие темы   Автор   Ответы   Просмотры   Последнее сообщение 
Логические задачи

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

bnr07

8

583

10 окт 2014, 22:44

Логические знаки

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

maksim-maksim

32

585

03 авг 2018, 17:22

Логические изъяны в доказательствах

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

Ellipsoid

4

197

07 фев 2021, 01:28

Логические отношения между суждениями

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

Nicolay_8

5

835

26 сен 2014, 13:21

Логические уравнения. Метод поиска ортогонального набора

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

Windy

0

191

25 май 2015, 16:23

Почему не работают логические выражения внутри блока?

в форуме MathCad

rt7

13

457

08 окт 2020, 12:42

Преобразования

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

RWAD

5

215

09 авг 2022, 19:41

Преобразования

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

demurrres

0

297

04 мар 2018, 21:09

Равносильные преобразования

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

GeneralMath

26

534

19 сен 2017, 00:44

Аффинные преобразования

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

_Stanislav_

2

123

02 ноя 2019, 12:43


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



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

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


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

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

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

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