Форум программистов, компьютерный форум, киберфорум
Мат. логика и множества
Войти
Регистрация
Восстановить пароль
Карта форума Темы раздела Блоги Сообщество Поиск Заказать работу  
 
Виктор26
1

x→(y↓z)=(x→y)↓(x→z)

16.01.2013, 12:29. Показов 575. Ответов 0
Метки нет (Все метки)

Author24 — интернет-сервис помощи студентам
Помогите пожалуйста решить -
Проверить эквивалентность формул
x→(y↓z) и (x→y)↓(x→z)
двумя методами:
-Составлением таблицы истинности
-Преобразованием формул к СКНФ эквивалентными преобразованиями
Programming
Эксперт
94731 / 64177 / 26122
Регистрация: 12.04.2006
Сообщений: 116,782
16.01.2013, 12:29
Ответы с готовыми решениями:

Вывести закон контрапозиции (A→¬B)→(B→¬A)
Вывести закон контрапозиции (A→¬B)→(B→¬A): Откуда взялись эти леммы?: 1) A→B,...

(A → B) ∧ (B→¬ A ) ∧(C→A) упростите формулу
(A → B) ∧ (B→¬ A ) ∧(C→A) упростите формулу на основе законах логики, A → B =¬ A ⌵B

Счётно ли множество всех функций f : A → B, если множество A конечно, B — счётно?
Счётно ли множество всех функций f : A → B, если множество A конечно, B — счётно?

Выполнить преобразование: 140,536→[?]5→[?]4→[?]7
Выполнить преобразование: 140,536→5→4→7 Добавлено через 2 часа 40 минут Просто я гуманитарий, а...

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

Word 2016/2019, уравнение → конструктор → Сумма
Независимо от того, какой значек я нажимаю, вставленный значек суммы всегда имеет вид, как на...

Упростить формулу A^(B→A)→Ā. Проверьте результат, используя таблицу истинности
Упростить формулу A^(B→A)→Ā. Проверьте результат, используя таблицу истинности.

Эта функция имеет форму :f(0)→ [] Unitless, а должна иметь форму: f(0)→ any1
Добрый день, помогите пожалуйста кто умеет работать в MathCAD, необходимо построить в курсовой...

Создать таблицу → Считать в двумерный массив → Вывести в таблицу
Добрый день. Необходимо создать динамическую таблицу M x N, считать из нее данные и вывести...


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

Или воспользуйтесь поиском по форуму:
1
Ответ Создать тему
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2024, CyberForum.ru