|
0 / 0 / 0
Регистрация: 30.09.2012
Сообщений: 7
|
|
Выяснить, является ли логическая формула тождественно ложной30.09.2012, 19:31. Показов 3126. Ответов 8
Метки нет (Все метки)
Помогите пожалуйста!
Задание: выяснить, является ли логическая формула тождественно ложной То есть пользователь вводит формулу с клавиатуры, нам надо ее посчитать, и по окончании работы вывести соответствующий результат. С вводом формулы и выводом результата у меня проблем не возникло Не могу сделать так, чтобы программа считала эту самую формулу
0
|
|
| 30.09.2012, 19:31 | |
|
Ответы с готовыми решениями:
8
Установить, является ли данная формула тождественно-истинной Установить, является ли данная формула тождественно-истинной. Привести доказательство |
|
0 / 0 / 0
Регистрация: 30.09.2012
Сообщений: 7
|
|
| 01.10.2012, 20:55 [ТС] | |
|
формула может быть любая с использованием операторов and, or, not и импликации
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
|
|
|
0 / 0 / 0
Регистрация: 30.09.2012
Сообщений: 7
|
|
| 03.10.2012, 17:36 [ТС] | |
|
Задание не по прологу. Наш учитель сказал что писать можно на любом языке, но обязательно должен быть пользовательский интерфейс.
Кстати, задание я уже сделала и сдала
0
|
|
|
0 / 0 / 0
Регистрация: 30.09.2012
Сообщений: 7
|
|
| 03.10.2012, 17:46 [ТС] | |
|
Psilon, спасибо
0
|
|
| 03.10.2012, 17:46 | |
|
Помогаю со студенческими работами здесь
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
«Знание-Сила»
«Время-Деньги»
«Деньги -Пуля»
|