Напишите программу, распознающую дизъюнктивную нормальную форму

@Sherllock · Регистрация: 07.06.2014

Студворк — интернет-сервис помощи студентам

Приветствую.Очень нуждаюсь в вашей помощи. Нужно решить задачу:
Напишите программу, распознающую дизъюнктивную нормальную форму.
А именно в программе подается на вход логическое выражение например: (a& ~b)v c , а программа определяет является это выражение днф или нет, как результат выдает истина или ложь.
Спасибо всем кто откликнется.

P.S. пример на Прологе :

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
:- op( 100, fy, ~).
:- op( 110, xfy, &).
:- op( 120, xfy, v).
p(X):-atom(X).
p(~X):-atom(X).
kon(X):-p(X).
kon(X&Y):-kon(X),kon(Y).
check(X):-kon(X).
check(X v Y):-check(X),check(Y).
 
check((a& ~b)v c).
true

@Mysterious Light · 07.06.2014, 21:55

Haskell
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
newtype Var = Var Char
 
data Formula = Variable Var | Formula :&: Formula | Formula :||: Formula | Neg Formula
 
p (Variable _) = True
p (Neg (Variable _)) = True
p _ = False
 
kon (x :&: y) = kon x && kon y
kon f = p f
 
check (x :||: y) = check x && check y
check f = kon f
 
a = Variable$ Var 'a'
b = Variable$ Var 'b'
c = Variable$ Var 'c'
 
t = (a :&: Neg b) :||: c

@Sherllock · 08.06.2014, 00:36 **[ТС]**

Mysterious Light, Спасибо за столь быстрый ответ,могли бы вы написать как вызвать в среде написанный код чтобы получить результат

@Mysterious Light · 08.06.2014, 02:25

ну так же:

Haskell
1
2
Main> check t
True

Или:

Haskell
1
2
Main> check ((a :&: Neg b) :||: c)
True

Я взял за основу Ваш код, чтобы можно было увидеть параллель в именах и логике.

@Sherllock · 08.06.2014, 22:12 **[ТС]**

Благодарю еще раз,чтобы лучше разобраться в коде хотел узнать следующее:
1 строчка это объявление нового типа который сходен типу char
2 строчка определяем новый тип Formula у которого несколько переменных использующихся с конъюнкцией,дизъюнкцией и отрицанием .(с этой строчкой не совсем разобрался)
И последнее что означает символ $ ?

@Mysterious Light · 08.06.2014, 22:31

Var — просто некий счётный тип, например, Char, который предназначен быть маркером переменной в формуле.

Haskell
1
data Formula = Variable Var | Formula :&: Formula | Formula :||: Formula | Neg Formula

является Хаскель-версией записи в форме Бекуса-Наури
Подробнее см. http://ru.wikipedia.org/wiki/%... 0.BB.D1.8B

Сообщение от Sherllock

И последнее что означает символ $ ?

Советую активно пользоваться поисковиком и справкой. Для Хаскелля есть http://www.haskell.org/hoogle/
($) ничего не делает и его можно опускать. В принципе, ($)=id, говоря по-другому,

Haskell
1
 f $ x = f x

Я часто использую, чтобы скобочки не писать.

Новые блоги и статьи Все статьи Все блоги /
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 . Быстренько разберем подход "на фреймах". Мы делаем одну. . .

@Sherllock 0 / 0 / 0 Регистрация: 07.06.2014 Сообщений: 5
	08.06.2014, 00:36 [ТС]
	Mysterious Light, Спасибо за столь быстрый ответ,могли бы вы написать как вызвать в среде написанный код чтобы получить результат 0

@Sherllock 0 / 0 / 0 Регистрация: 07.06.2014 Сообщений: 5
	08.06.2014, 22:12 [ТС]
	Благодарю еще раз,чтобы лучше разобраться в коде хотел узнать следующее: 1 строчка это объявление нового типа который сходен типу char 2 строчка определяем новый тип Formula у которого несколько переменных использующихся с конъюнкцией,дизъюнкцией и отрицанием .(с этой строчкой не совсем разобрался) И последнее что означает символ $ ? 0