Математический форум Math Help Planet
Обсуждение и решение задач по математике, физике, химии, экономике Теоретический раздел |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
новый онлайн-сервис число, сумма и дата прописью |
|
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Страница 1 из 1 |
[ Сообщений: 7 ] |
|
Автор | Сообщение | |
---|---|---|
Razum_Genija |
|
|
(не X * не Z) * (не X или Y) = не X *(не Z * (не X + Y)) |
||
Вернуться к началу | ||
mad_math |
|
|
Razum_Genija писал(а): По какому правилу получили эту формулу По свойству ассоциативности логических операций. |
||
Вернуться к началу | ||
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]
Последний раз редактировалось Razum_Genija 24 ноя 2012, 17:25, всего редактировалось 1 раз. |
||
Вернуться к началу | ||
mad_math |
|
|
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] |
||
Вернуться к началу | ||
mad_math |
|
|
А можно так
[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] |
||
Вернуться к началу | ||
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]
По какому правилу эта равносильность получилась? |
||
Вернуться к началу | ||
mad_math |
|
|
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 |
||
Вернуться к началу | ||
[ Сообщений: 7 ] |
Похожие темы | Автор | Ответы | Просмотры | Последнее сообщение |
---|---|---|---|---|
Логические задачи
в форуме Алгебра |
8 |
583 |
10 окт 2014, 22:44 |
|
Логические знаки | 32 |
585 |
03 авг 2018, 17:22 |
|
Логические изъяны в доказательствах | 4 |
197 |
07 фев 2021, 01:28 |
|
Логические отношения между суждениями | 5 |
835 |
26 сен 2014, 13:21 |
|
Логические уравнения. Метод поиска ортогонального набора | 0 |
191 |
25 май 2015, 16:23 |
|
Почему не работают логические выражения внутри блока?
в форуме MathCad |
13 |
457 |
08 окт 2020, 12:42 |
|
Преобразования
в форуме Алгебра |
5 |
215 |
09 авг 2022, 19:41 |
|
Преобразования
в форуме Линейная и Абстрактная алгебра |
0 |
297 |
04 мар 2018, 21:09 |
|
Равносильные преобразования | 26 |
534 |
19 сен 2017, 00:44 |
|
Аффинные преобразования | 2 |
123 |
02 ноя 2019, 12:43 |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Кто сейчас на конференции |
Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 12 |
Вы не можете начинать темы Вы не можете отвечать на сообщения Вы не можете редактировать свои сообщения Вы не можете удалять свои сообщения Вы не можете добавлять вложения |