Форум программистов, компьютерный форум, киберфорум
C# для начинающих
Войти
Регистрация
Восстановить пароль
Блоги Сообщество Поиск Заказать работу  
 
Рейтинг 4.80/15: Рейтинг темы: голосов - 15, средняя оценка - 4.80
0 / 0 / 0
Регистрация: 30.09.2012
Сообщений: 7

Выяснить, является ли логическая формула тождественно ложной

30.09.2012, 19:31. Показов 3126. Ответов 8
Метки нет (Все метки)

Студворк — интернет-сервис помощи студентам
Помогите пожалуйста!
Задание: выяснить, является ли логическая формула тождественно ложной
То есть пользователь вводит формулу с клавиатуры, нам надо ее посчитать, и по окончании работы вывести соответствующий результат.
С вводом формулы и выводом результата у меня проблем не возникло Не могу сделать так, чтобы программа считала эту самую формулу
0
cpp_developer
Эксперт
20123 / 5690 / 1417
Регистрация: 09.04.2010
Сообщений: 22,546
Блог
30.09.2012, 19:31
Ответы с готовыми решениями:

Проверить, является ли формула тождественно истинной
Добрый день! Подскажите, как решать такие задания: (A\supset C)\supset ((B\supset C)\supset ((A \vee B)\supset C))

Установить, является ли данная формула тождественно-истинной
Установить, является ли данная формула тождественно-истинной. Пример Подскажите с чего начать?

Установить, является ли данная формула тождественно-истинной. Привести доказательство
Установить, является ли данная формула тождественно-истинной. Привести доказательство .

8
Master of Orion
Эксперт .NET
 Аватар для Psilon
6102 / 4958 / 905
Регистрация: 10.07.2011
Сообщений: 14,522
Записей в блоге: 5
30.09.2012, 21:55
Пример формулы будет?
0
0 / 0 / 0
Регистрация: 30.09.2012
Сообщений: 7
01.10.2012, 20:55  [ТС]
формула может быть любая с использованием операторов and, or, not и импликации
0
Master of Orion
Эксперт .NET
 Аватар для Psilon
6102 / 4958 / 905
Регистрация: 10.07.2011
Сообщений: 14,522
Записей в блоге: 5
01.10.2012, 22:09
x1 and x2 or x3 and x4? или как? тут телепатов нет
0
0 / 0 / 0
Регистрация: 30.09.2012
Сообщений: 7
03.10.2012, 10:12  [ТС]
x and not y or с -> d and e or not f
0
Master of Orion
Эксперт .NET
 Аватар для Psilon
6102 / 4958 / 905
Регистрация: 10.07.2011
Сообщений: 14,522
Записей в блоге: 5
03.10.2012, 11:58
Agnes, мне кажется, это задание по прологу, но никак не по шарпу... Тождественно ложной: это все нули? Тогда достаточно проверить на конструкции a && !a
0
0 / 0 / 0
Регистрация: 30.09.2012
Сообщений: 7
03.10.2012, 17:36  [ТС]
Задание не по прологу. Наш учитель сказал что писать можно на любом языке, но обязательно должен быть пользовательский интерфейс.

Кстати, задание я уже сделала и сдала
0
Master of Orion
Эксперт .NET
 Аватар для Psilon
6102 / 4958 / 905
Регистрация: 10.07.2011
Сообщений: 14,522
Записей в блоге: 5
03.10.2012, 17:42
Agnes, поздравляю
0
0 / 0 / 0
Регистрация: 30.09.2012
Сообщений: 7
03.10.2012, 17:46  [ТС]
Psilon, спасибо
0
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
raxper
Эксперт
30234 / 6612 / 1498
Регистрация: 28.12.2010
Сообщений: 21,154
Блог
03.10.2012, 17:46
Помогаю со студенческими работами здесь

Доказать двумя способами,что следующая формула является тождественно истинной (тавтологией)
Доказать двумя способами,что следующая формула является тождественно истинной (тавтологией): ...

Определить, является ли данный предикат тождественно истинным или тождественно ложным
Здравствуйте! У меня возникли сложности с таким вопросом: Определить, является ли данный предикат: 1. Тождественно истинным. ...

Является ли высказывание тождественно истинным (тавтологией) или тождественно ложным?
Прошу прощения, что обращаюсь с такой просьбой, помогите решить конкретную задачу. Является ли высказывание тождественно истинным...

Выяснить, является ли формула алгебры предикатов общезначимостью
Выяснить, является ли формула алгебры предикатов общезначимостью: Ǝx(P1(x))\wedgeƎxP2(x)) \rightarrow Ǝx(P1(x))\wedgeƎx(P2(x))

Выяснить двумя способами, является ли данная формула тавтологией
1. Выяснить 2-мя способами(при помощи равносильных преобразований и таблиц истинности) являются ли данная формула тавтологией:(P\rightarrow...


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

Или воспользуйтесь поиском по форуму:
9
Ответ Создать тему
Новые блоги и статьи
Ритм жизни
kumehtar 27.02.2026
Иногда приходится жить в ритме, где дел становится всё больше, а вовлечения в происходящее — всё меньше. Плотный график не даёт вниманию закрепиться ни на одном событии. Утро начинается с быстрых,. . .
SDL3 для Web (WebAssembly): Сборка SDL3 и Box2D из исходников с помощью CMake и Emscripten
8Observer8 27.02.2026
Недавно вышла версия 3. 4. 2 библиотеки SDL3. На странице официальной релиза доступны исходники, готовые DLL (для x86, x64, arm64), а также библиотеки для разработки под Android, MinGW и Visual Studio. . . .
SDL3 для Web (WebAssembly): Реализация движения на Box2D v3 - трение и коллизии с повёрнутыми стенами
8Observer8 20.02.2026
Содержание блога Box2D позволяет легко создать главного героя, который не проходит сквозь стены и перемещается с заданным трением о препятствия, которые можно располагать под углом, как верхнее. . .
Конвертировать закладки radiotray-ng в m3u-плейлист
damix 19.02.2026
Это можно сделать скриптом для PowerShell. Использование . \СonvertRadiotrayToM3U. ps1 <path_to_bookmarks. json> Рядом с файлом bookmarks. json появится файл bookmarks. m3u с результатом. # Check if. . .
Семь CDC на одном интерфейсе: 5 U[S]ARTов, 1 CAN и 1 SSI
Eddy_Em 18.02.2026
Постепенно допиливаю свою "многоинтерфейсную плату". Выглядит вот так: https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11617&stc=1&d=1771445347 Основана на STM32F303RBT6. На борту пять. . .
Камера Toupcam IUA500KMA
Eddy_Em 12.02.2026
Т. к. у всяких "хикроботов" слишком уж мелкий пиксель, для подсмотра в ESPriF они вообще плохо годятся: уже 14 величину можно рассмотреть еле-еле лишь на экспозициях под 3 секунды (а то и больше),. . .
И ясному Солнцу
zbw 12.02.2026
И ясному Солнцу, и светлой Луне. В мире покоя нет и люди не могут жить в тишине. А жить им немного лет.
«Знание-Сила»
zbw 12.02.2026
«Знание-Сила» «Время-Деньги» «Деньги -Пуля»
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2026, CyberForum.ru