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

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

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

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




Начать новую тему Ответить на тему  [ Сообщений: 3 ] 
Автор Сообщение
 Заголовок сообщения: Таблицы истинности. Можно ли проверить равносильность двух ф
СообщениеДобавлено: 04 янв 2018, 10:26 
Не в сети
Начинающий
Зарегистрирован:
04 янв 2018, 10:14
Сообщений: 1
Cпасибо сказано: 0
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Всем привет.Есть задача, нужно доказать или опровергнуть равносильность формул с помощью бинарных таблицы истинности, но в одной формуле две переменные (x и y), а во второй - три (x,y и z). Возможно ли такое или это опечатка?

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Таблицы истинности. Можно ли проверить равносильность двух ф
СообщениеДобавлено: 04 янв 2018, 14:52 
Не в сети
Любитель математики
Аватара пользователя
Зарегистрирован:
16 июл 2011, 08:33
Сообщений: 22268
Откуда: Беларусь, Минск
Cпасибо сказано: 2096
Спасибо получено:
4958 раз в 4631 сообщениях
Очков репутации: 845

Добавить очки репутацииУменьшить очки репутации
jelizarosa
Я думаю, что такое может быть, если значения второй функции не зависят от переменной [math]z.[/math]

Вернуться к началу
 Профиль  
Cпасибо сказано 
За это сообщение пользователю Andy "Спасибо" сказали:
Ellipsoid
 Заголовок сообщения: Re: Таблицы истинности. Можно ли проверить равносильность двух ф
СообщениеДобавлено: 05 янв 2018, 01:19 
Не в сети
Light & Truth
Зарегистрирован:
23 авг 2010, 22:28
Сообщений: 4430
Cпасибо сказано: 565
Спасибо получено:
1075 раз в 952 сообщениях
Очков репутации: 315

Добавить очки репутацииУменьшить очки репутации
jelizarosa писал(а):
Возможно ли такое?


Да, например, [math](x \downarrow x) \to y= (y' \to (x' \to z))(z \to (y' \to x))[/math].

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

 Похожие темы   Автор   Ответы   Просмотры   Последнее сообщение 
Таблицы истинности для логических выражений

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

dikarka2004

3

260

21 ноя 2021, 11:51

Составить таблицы истинности для следующих формул

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

donposeidon

1

309

28 мар 2017, 21:59

Составить таблицы истинности и указать вид формул

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

XZ111

2

238

06 мар 2019, 02:06

Найти таблицы истинности заданных формул

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

prestige16

2

150

07 фев 2019, 11:32

Векторы можно принять за базис (проверить решение)

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

Fa4stik

3

184

20 окт 2020, 20:49

Проверить эквивалентность двух систем векторов

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

N008

4

974

03 янв 2015, 19:37

Проверить нулевую гипотезу об однородности двух выборок

в форуме Математическая статистика и Эконометрика

marina2020

16

734

25 июн 2020, 15:04

Равносильность

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

manchester_alan

3

282

30 мар 2016, 17:48

Равносильность неравенства

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

pritychka

4

406

23 сен 2016, 16:22

Равносильность уравнений

в форуме Тригонометрия

Nas_tya+-

6

653

23 янв 2015, 19:10


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



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

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


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

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

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

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