0 / 0 / 0
Регистрация: 18.10.2013
Сообщений: 34
1

Доказать с помощью преобразований равносильность

27.04.2014, 21:12. Показов 467. Ответов 3
Метки нет (Все метки)

Author24 — интернет-сервис помощи студентам
Доказать с помощью преобразований равносильность:
(x ∨ y)∧(x ∨ ȳ)≡x
0
27.04.2014, 21:12
Programming
Эксперт
39485 / 9562 / 3019
Регистрация: 12.04.2006
Сообщений: 41,671
Блог
27.04.2014, 21:12
Ответы с готовыми решениями:

Доказать тождества теории множеств с помощью алгебраических преобразований
Доказать тождества теории множеств с помощью алгебраических преобразований.

Доказать равносильность
Спасибо, Вы круты =) Если не составит труда, сделать еще несколько штук буду очень благодарен. и еще... Составить...

доказать равносильность
((А and B)<->(not C)) и ((A and (not B))<->C) чот долго сижу не получается помогите пожалуйста

3
 Аватар для OldFedor
7485 / 4149 / 474
Регистрация: 25.08.2012
Сообщений: 11,530
Записей в блоге: 11
27.04.2014, 21:16 2
https://www.cyberforum.ru/cgi-bin/latex.cgi?(x + y)(x + \bar{y})=x+x\bar{y}+xy=x(1+...)=x
1
Taatshi
27.04.2014, 21:16
  #3

Не по теме:

OldFedor, в процессе переноса темы отвечал :good:

0
OldFedor
27.04.2014, 21:18     Доказать с помощью преобразований равносильность
  #4

Не по теме:

Не уследил.

0
27.04.2014, 21:18
IT_Exp
Эксперт
87844 / 49110 / 22898
Регистрация: 17.06.2006
Сообщений: 92,604
27.04.2014, 21:18
Помогаю со студенческими работами здесь

Доказать равносильность
Добрый день! Как доказать равносильность формул ∃(F(x)^G(x)) и ∃F(x)^∃G(x)?

Доказать равносильность
Доброго времени. Требуется помощь в решении задания. Сам я его решить не могу в силу того, что ничего не знаю по предмету логики, а...

Доказать равносильность
Доказать равносильность A<=>B~(A>B)^(B>A)

Доказать равносильность
Помогите сделать ДЗ:

Доказать равносильность
4. Доказать равносильность c\rightarrow\forall x B(x)\equiv\forall x методом конкретизации.


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
4
Ответ Создать тему

Редактор формул (кликните на картинку в правом углу, чтобы закрыть)
Опции темы

Новые блоги и статьи
Комментарии в JSON
hw_wired 10.02.2025
JSON - текстовый формат обмена данными, построенный на основе синтаксиса JavaScript. Этот формат отличается простотой, читаемостью и широкой поддержкой во всех современных языках программирования. . . .
Перезаписываем локальные файлы с помощью git pull
hw_wired 10.02.2025
Git pull - незаменимая команда для синхронизации локального репозитория с удаленным. При работе над проектом в команде разработчиков часто возникает необходимость получить актуальные изменения,. . .
Оператор --> в C++
hw_wired 10.02.2025
Оператор --> (называемый "spaceship operator" или оператор космического корабля) - важное нововведение в стандарте C++20, упрощающее реализацию операций сравнения в пользовательских типах данных. . . .
Отмена git add до коммита
hw_wired 10.02.2025
Git предлагает несколько методов для отмены индексации файлов перед созданием коммита. Разработчики часто сталкиваются с ситуацией, когда нужно убрать файлы из индекса, не теряя внесенные изменения в. . .
Типы MIME в JSON: что и когда использовать в REST API
hw_wired 10.02.2025
MIME-типы играют ключевую роль в современных веб-приложениях, особенно в контексте REST API и микросервисной архитектуры. Они определяют формат передаваемых данных между клиентом и сервером, что. . .
Переименование локальной ветки Git
hw_wired 10.02.2025
Git предлагает систему управления версиями, где ветки играют ключевую роль в организации разработки. Ветки позволяют изолировать изменения кода, экспериментировать с новыми функциями и поддерживать. . .
Удаление элемента из массива в JavaScript
bytestream 10.02.2025
В JavaScript массивы - это упорядоченные наборы данных, которые часто требуют модификации, включая удаление элементов. Самый распространенный метод для этой задачи - splice(). Этот метод позволяет не. . .
Что значит yield в Python
bytestream 10.02.2025
Ключевое слово yield в Python создает генераторную функцию - особый тип функции, которая возвращает итератор. В отличие от обычных функций, использующих return для возврата значения и завершения. . .
Чем отличаются git pull и git fetch
bytestream 10.02.2025
Git предоставляет множество команд для работы с удаленными репозиториями, среди которых особое место занимают git fetch и git pull. Эти команды помогают синхронизировать локальный репозиторий с. . .
Как удалить ветку Git в локальном и удаленном репозитории
bytestream 10.02.2025
Git предлагает развитую систему ветвления, позволяющую разработчикам создавать параллельные версии кода для различных задач. Ветка в Git - это легковесный указатель на определенный коммит, который. . .
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2025, CyberForum.ru