Форум программистов, компьютерный форум, киберфорум
Наши страницы
Мат. логика и множества
Войти
Регистрация
Восстановить пароль
 
Виктор26
0 / 0 / 0
Регистрация: 13.01.2013
Сообщений: 1
#1

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

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

Помогите пожалуйста решить -
Проверить эквивалентность формул
x→(y↓z) и (x→y)↓(x→z)
двумя методами:
-Составлением таблицы истинности
-Преобразованием формул к СКНФ эквивалентными преобразованиями
0
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
16.01.2013, 12:29
Ответы с готовыми решениями:

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

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

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

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

Stdin → stdout
кто может помочь с этой проблемой?? я не понимаю , мне нужно выложить свою...

0
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
16.01.2013, 12:29

Перевод кода Cи → Asm
День добрый! Возникла такая ситуация - необходимо проверить около миллиона...

HTML-Entities → UTF-8
Здравствуйте. Суть проблемы в том что текст в UTF-8 заносится в БД в виде...

C/C++ → Програма мовою С(допомога)
Задача Програма яка виводить на екран в тестовому режимі гістограму довжиною...


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

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

КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2018, vBulletin Solutions, Inc.
Рейтинг@Mail.ru