Вычисление значения логического выражения КНФ

@Rozumnaya · Регистрация: 02.06.2014

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

Добрый день! Помогите, пожалуйста. Нужно решить задачу:
Написать программу вычисления значения логического выражения в конъюнктивной нормальной форме
Спасибо!

@Catstail · 03.06.2014, 14:52

В какой форме задаётся логическое выражение?

@Rozumnaya · 03.06.2014, 18:04 **[ТС]**

Логическое выражение задаётся как конъюнкция, дизъюнкция и отрицание нескольких переменных.
Например: (A&B) V C
^(A&B&C)

@Catstail · 03.06.2014, 18:11

И как это будет записываться в Haskell?

@Rozumnaya · 03.06.2014, 18:44 **[ТС]**

Честно говоря, понятия не имею.Мне кажется, несколько переменных должны быть заданы как true или false, далее должно быть вычислено значение каких либо выражений, в которых присутствует конъюнкция, дизъюнкция и отрицание. Результатом должно быть true или false.

@Catstail · 03.06.2014, 20:06

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

Честно говоря, понятия не имею.

- вот так постановка... Спроси преподавателя.

@Mysterious Light · 03.06.2014, 20:37

Haskell
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
data Var = Var { varname :: Char }
data Disj = Disj { varlist :: [ (Bool,Var) ] }
data Conj = Conj { disj :: [ Disj ] }
 
eval :: (Var -> Bool) -> Conj -> Bool
eval value (Conj list) = all eval' list
    where
        eval' (Disj list') = any eval'' list'
        eval'' (neg,var) = neg == value var
 
x = Var 'x'
y = Var 'y'
z = Var 'z'
 
e = Conj [
  Disj [(True,x)],
  Disj [(True,y),(False,z)]
  ]
 
*Main> eval (\ (Var v) -> case v of 'x' -> True; 'y' -> False; 'z' -> False) e
True
*Main> eval (\ (Var v) -> case v of 'x' -> True; 'y' -> False; 'z' -> True) e
False

e описывает выражение .

Добавлено через 5 минут
Ещё так можно дополнить ради удобства:

Haskell
1
2
3
4
5
6
7
just v = (True,v)
neg v = (False,v)
empty = Disj []
v ||| (Disj b) = Disj (v:b)
infixr 5 |||
 
e = Conj [ just x ||| empty, just y ||| neg z ||| empty ]

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Web (WebAssembly): Работа со звуком через SDL3_mixer 8Observer8 08.02.2026 Содержание блога Пошагово создадим проект для загрузки звукового файла и воспроизведения звука с помощью библиотеки SDL3_mixer. Звук будет воспроизводиться по клику мышки по холсту на Desktop и по. . .	SDL3 для Web (WebAssembly): Основы отладки веб-приложений на SDL3 по USB и Wi-Fi, запущенных в браузере мобильных устройств 8Observer8 07.02.2026 Содержание блога Браузер Chrome имеет средства для отладки мобильных веб-приложений по USB. В этой пошаговой инструкции ограничимся работой с консолью. Вывод в консоль - это часть процесса. . .	SDL3 для Web (WebAssembly): Обработчик клика мыши в браузере ПК и касания экрана в браузере на мобильном устройстве 8Observer8 02.02.2026 Содержание блога Для начала пошагово создадим рабочий пример для подготовки к экспериментам в браузере ПК и в браузере мобильного устройства. Потом напишем обработчик клика мыши и обработчик. . .	Философия технологии iceja 01.02.2026 На мой взгляд у человека в технических проектах остается роль генерального директора. Все остальное нейронки делают уже лучше человека. Они не могут нести предпринимательские риски, не могут. . .
SDL3 для Web (WebAssembly): Вывод текста со шрифтом TTF с помощью SDL3_ttf 8Observer8 01.02.2026 Содержание блога В этой пошаговой инструкции создадим с нуля веб-приложение, которое выводит текст в окне браузера. Запустим на Android на локальном сервере. Загрузим Release на бесплатный. . .	SDL3 для Web (WebAssembly): Сборка C/C++ проекта из консоли 8Observer8 30.01.2026 Содержание блога Если вы откроете примеры для начинающих на официальном репозитории SDL3 в папке: examples, то вы увидите, что все примеры используют следующие четыре обязательные функции, а. . .	SDL3 для Web (WebAssembly): Установка Emscripten SDK (emsdk) и CMake для сборки C и C++ приложений в Wasm 8Observer8 30.01.2026 Содержание блога Для того чтобы скачать Emscripten SDK (emsdk) необходимо сначало скачать и уставить Git: Install for Windows. Следуйте стандартной процедуре установки Git через установщик. . . .	SDL3 для Android: Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 29.01.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами. Версия v3 была полностью переписана на Си, в. . .

@Rozumnaya 0 / 0 / 0 Регистрация: 02.06.2014 Сообщений: 11

	Вычисление значения логического выражения КНФ 03.06.2014, 11:21. Показов 1715. Ответов 6 Метки нет (Все метки) Добрый день! Помогите, пожалуйста. Нужно решить задачу: Написать программу вычисления значения логического выражения в конъюнктивной нормальной форме Спасибо! 0

@Catstail Супер-модератор 38173 / 21108 / 4307 Регистрация: 12.02.2012 Сообщений: 34,705 Записей в блоге: 14
	03.06.2014, 14:52
	В какой форме задаётся логическое выражение? 0

@Rozumnaya 0 / 0 / 0 Регистрация: 02.06.2014 Сообщений: 11
	03.06.2014, 18:04 [ТС]
	Логическое выражение задаётся как конъюнкция, дизъюнкция и отрицание нескольких переменных. Например: (A&B) V C ^(A&B&C) 0

@Catstail Супер-модератор 38173 / 21108 / 4307 Регистрация: 12.02.2012 Сообщений: 34,705 Записей в блоге: 14
	03.06.2014, 18:11
	И как это будет записываться в Haskell? 0

@Rozumnaya 0 / 0 / 0 Регистрация: 02.06.2014 Сообщений: 11
	03.06.2014, 18:44 [ТС]
	Честно говоря, понятия не имею.Мне кажется, несколько переменных должны быть заданы как true или false, далее должно быть вычислено значение каких либо выражений, в которых присутствует конъюнкция, дизъюнкция и отрицание. Результатом должно быть true или false. 0