Форум программистов, компьютерный форум, киберфорум
Lisp
Войти
Регистрация
Восстановить пароль
Блоги Сообщество Поиск Заказать работу  
 
Рейтинг 4.83/6: Рейтинг темы: голосов - 6, средняя оценка - 4.83
0 / 0 / 0
Регистрация: 13.05.2017
Сообщений: 16

Напишите программу, которая определяет тождественную истинность формулы методом полного перебора

15.09.2017, 20:52. Показов 1145. Ответов 5
Метки нет (Все метки)

Студворк — интернет-сервис помощи студентам
Напишите программу, которая определяет тождественную истинность формулы методом полного перебора.
0
IT_Exp
Эксперт
34794 / 4073 / 2104
Регистрация: 17.06.2006
Сообщений: 32,602
Блог
15.09.2017, 20:52
Ответы с готовыми решениями:

Доказать тождественную истинность или тождественную ложность формулы.
Помогите пожалуйста сделать задание, очень нужно! 1. Доказать тождественную истинность или тождественную ложность формулы

Доказать тождественную истинность или тождественную ложность формулы.
задали по компьютерной логике задание "1. Доказать тождественную истинность или тождественную ложность формулы:...

Доказать тождественную истинность формулы
Помогите пожалуйста с доказательством... Уже 2 часа сижу не получается https://www.cyberforum.ru/mathematics/thread914432.html

5
Супер-модератор
Эксперт функциональных языков программированияЭксперт Python
 Аватар для Catstail
38161 / 21096 / 4306
Регистрация: 12.02.2012
Сообщений: 34,683
Записей в блоге: 14
16.09.2017, 09:34
Приведи пример задания формулы
0
0 / 0 / 0
Регистрация: 13.05.2017
Сообщений: 16
17.09.2017, 17:41  [ТС]
Любой функции
0
17.09.2017, 22:42

Не по теме:

Catstail, :senor:

0
18.09.2017, 07:50

Не по теме:

castorsky, :senor:

0
 Аватар для castorsky
1978 / 1082 / 87
Регистрация: 29.11.2013
Сообщений: 3,353
18.09.2017, 13:35
Могу предположить что полный перебор подразумевает проверку 2n возможных комюинаций, а задание формулы произвольно.
0
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
BasicMan
Эксперт
29316 / 5623 / 2384
Регистрация: 17.02.2009
Сообщений: 30,364
Блог
18.09.2017, 13:35
Помогаю со студенческими работами здесь

Доказать тождественную истинность формулы
((p→q)^(q→r))→(p→r)

Доказать тождественную истинность или ложность формулы
Доказать тождественную истинность или ложность формулы, пожалуйста

Применяя таблицу истинности, доказать тождественную истинность формулы
Применяя таблицу истинности, доказать тождественную истинность формулы: (Формула на картинке)

Написать программу, которая определяет истинность предиката
Написать программу, которая определяет истинность предиката: L=NOT(A AND(C OR B)) OR (B AND A) A= (y+x=x*y/2), B = (x * y != 0), C =...

Написать программу, которая определяет истинность предиката
написать программу, которая определяет истинность предиката: L = NOT((CXOR B)AND ( AOR B))XOR B, где A = (sin(x) > cos(x)) , B =...


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

Или воспользуйтесь поиском по форуму:
6
Ответ Создать тему
Новые блоги и статьи
PhpStorm 2025.3: WSL Terminal всегда стартует в ~
and_y87 14.12.2025
PhpStorm 2025. 3: WSL Terminal всегда стартует в ~ (home), игнорируя директорию проекта Симптом: После обновления до PhpStorm 2025. 3 встроенный терминал WSL открывается в домашней директории. . .
Access
VikBal 11.12.2025
Помогите пожалуйста !! Как объединить 2 одинаковые БД Access с разными данными.
Новый ноутбук
volvo 07.12.2025
Всем привет. По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне: Ryzen 5 7533HS 64 Gb DDR5 1Tb NVMe 16" Full HD Display Win11 Pro
Музыка, написанная Искусственным Интеллектом
volvo 04.12.2025
Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .
От async/await к виртуальным потокам в Python
IndentationError 23.11.2025
Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .
Поиск "дружественных имён" СОМ портов
Argus19 22.11.2025
Поиск "дружественных имён" СОМ портов На странице: https:/ / norseev. ru/ 2018/ 01/ 04/ comportlist_windows/ нашёл схожую тему. Там приведён код на С++, который показывает только имена СОМ портов, типа,. . .
Сколько Государство потратило денег на меня, обеспечивая инсулином.
Programma_Boinc 20.11.2025
Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .
Ломающие изменения в C#.NStar Alpha
Etyuhibosecyu 20.11.2025
Уже можно не только тестировать, но и пользоваться C#. NStar - писать оконные приложения, содержащие надписи, кнопки, текстовые поля и даже изображения, например, моя игра "Три в ряд" написана на этом. . .
Мысли в слух
kumehtar 18.11.2025
Кстати, совсем недавно имел разговор на тему медитаций с людьми. И обнаружил, что они вообще не понимают что такое медитация и зачем она нужна. Самые базовые вещи. Для них это - когда просто люди. . .
Создание Single Page Application на фреймах
krapotkin 16.11.2025
Статья исключительно для начинающих. Подходы оригинальностью не блещут. В век Веб все очень привыкли к дизайну Single-Page-Application . Быстренько разберем подход "на фреймах". Мы делаем одну. . .
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2025, CyberForum.ru