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

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

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

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




Начать новую тему Ответить на тему  [ Сообщений: 2 ] 
Автор Сообщение
 Заголовок сообщения: Логическое выражение
СообщениеДобавлено: 04 янв 2014, 18:01 
Не в сети
Начинающий
Зарегистрирован:
18 дек 2013, 21:27
Сообщений: 14
Cпасибо сказано: 6
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Помогите, пожалуйста, упростить логическое выражение:
[math](\overline{(x \downarrow y}) \to \overline{z}) \leftrightarrow y[/math]

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

Добавить очки репутацииУменьшить очки репутации
Стрелка Пирса - это отрицание дизъюнкции. Импликация [math]x\rightarrow y=\bar{x}\vee y[/math], соответственно эквиваленция [math]x\leftrightarrow y=(\bar{x}\vee y)(\bar{y}\vee x)[/math]. Заменяйте, упрощайте по законам двойного отрицания, де Моргана, и дистрибутивности.

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

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

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

Vlad7535

1

142

01 окт 2019, 18:18

Минимизировать логическое выражение

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

Vlad7535

1

112

01 окт 2019, 18:17

Составьте логическое выражение

в форуме Информатика и Компьютерные науки

Overlord40rus

0

355

19 дек 2015, 14:37

Упростить логическое выражение

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

APPEH

3

197

25 окт 2018, 00:08

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

в форуме Начала анализа и Другие разделы школьной математики

netvano

3

803

11 окт 2018, 00:42

Логическое следствие

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

Garik1995

5

776

02 окт 2014, 04:49

Импликация и логическое следование

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

Alexandr_efremov

27

937

03 фев 2018, 19:01

Найти логическое значение высказывания

в форуме Теория чисел

irochkafleur

1

511

13 май 2014, 16:50

Логическое следование с несколькими заключениями

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

Ellipsoid

1

119

19 фев 2021, 21:33

Логическое следование из ничего это тавтология

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

K1b0rg

6

254

09 мар 2021, 23:53


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



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

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


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

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

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

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