Описание тега demorgans-law

Описание тега Вопросы с тегом
Законы Де Моргана - это два важных правила булевой алгебры, связывающие логические операторы "И" и "ИЛИ" друг с другом через отрицание.
2 ответа

Как понять логическое выражение Де Моргана

Я облажался, когда пытался понять это выражение. Я думал несколько раз, но не могу понять смысл. ! (p || q) эквивалентно!p &&!q Для этого как-то я могу немного понять. Мое понимание: "Не (p q) = не p и не q", что понятно ! (p && q) эквивалентно!p ||…
25 май '11 в 16:25
3 ответа

Эти утверждения эквивалентны?

Могу ли я провести рефакторинг, как это, являются ли они эквивалентными, и поэтому предпочтительнее простая и понятная версия кода? Перед рефакторингом: if (!matcher.matches() && !matcher2.matches() && !matcher3.matches() && …
14 сен '12 в 06:32
2 ответа

Упростите логическое выражение с помощью законов де Моргана

Мне нужно упростить это логическое выражение с помощью законов де Моргана. ¬c xor (¬b ∨ c) Может ли кто-нибудь помочь мне?
20 мар '12 в 21:23
1 ответ

Java/ Закон Деморгана / Булева алгебра / Случайная игра в кости /

Мне нужна помощь, чтобы этот код работал. Мне нужно иметь возможность написать программу, которая подсчитывает, сколько раз три шестигранных кубика должны быть брошены до тех пор, пока все значения не станут разными. Инструкции: Напишите драйвер, ко…
08 дек '15 в 07:40
1 ответ

Построить DFA языка L = { L1 \ L2 }

Как я могу построить DFA языка L = { L1 \ L2 } DFA для L1 и L2 даны, но как я могу "вычесть" один DFA из другого? Возможно ли это как-то с относительным дополнением http://en.wikipedia.org/wiki/Complement_(set_theory) и законом DeMorgans? Мое решени…
05 мар '15 в 13:08
1 ответ

Ошибка при замене аргументов в математической формуле

У меня есть некоторые проблемы с рекурсией в замене аргументов в математической формуле. Я использую предикат, который заменяет аргументы в математической формуле. replace(Term,Term,With,With) :- !. replace(Term,Find,Replacement,Result) :- Term =.. …
08 сен '17 в 00:15
3 ответа

Закон де Моргана о булевом выражении

Вопрос в том, что p, q а также r являются булевыми переменными. Рассмотрим следующее выражение: !(p && !q || r) Which of the following expressions is equivalent to the given expression? A. (p && r) || (!q && r) B. (!p &&a…
12 дек '13 в 19:08
1 ответ

NAND ворота с инвертированным входом

Если бы я взял выражение: (A + B + C + D + E) И использовать закон де Моргана, чтобы преобразовать его в: (!A!B!C!D!E)! Должен ли я инвертировать каждый бит, прежде чем поместить его в NAND-шлюз? Есть ли более простой способ? РЕДАКТИРОВАТЬ: нет коро…
26 сен '16 в 13:52
2 ответа

Использование закона Де Моргана для написания выражений на С

Мне трудно понять закон де Моргана и его отношение к булевой логике и выражениям. Специально переписывать эквивалентные выражения, используя логическую логику и &&, ||, и! операторы. Итак, я знаю, что в программировании на Си закон Де Моргана - это …
17 фев '19 в 03:22
2 ответа

Ruby if оператор множественных условий не равен

Я не могу понять, почему не работает несколько условных выражений if с not equals. В irb 2.3.0 :009 > H = Hash["a" => 100, "b" => 200, "c" => 1000, "d" => 2000] => {"a"=>100, "b"=>200, "c"=>1000, "d"=>2000} 2.3.0 :011 &…
03 авг '16 в 21:07
3 ответа

Преобразование выражения только с использованием логических элементов NAND

Как мне преобразовать это выражение НЕ (а) ИЛИ НЕ (б) И НЕ (в), используя только вентили NAND?? Я пытался это сделать, но не нашел правильного ответа.
21 окт '15 в 22:00
1 ответ

Как применить закон Моргана к анализируемой строке? (трансформирование строки или парсекция)

Я пытаюсь сделать программу, которая оценивает, является ли логическая формула предложения действительной или недействительной, используя семантический метод три. Мне удалось оценить, правильно ли сформирована формула или нет: from pyparsing import …
06 апр '12 в 17:31
6 ответов

Является ли закон де Моргана питоническим?

Какое из следующих утверждений if является более Pythonic? if not a and not b: do_something ИЛИ ЖЕ if not ( a or b ): do something Это не предикатная логика, поэтому я должен использовать ключевые слова Python, потому что это более читабельно, верно…
22 окт '12 в 13:25
2 ответа

Законы де Моргана в Хаскеле через переписку Карри-Ховарда

Я реализовал три из четырех законов Де Моргана в Хаскеле: notAandNotB :: (a -> c, b -> c) -> Either a b -> c notAandNotB (f, g) (Left x) = f x notAandNotB (f, g) (Right y) = g y notAorB :: (Either a b -> c) -> (a -> c, b -> c…
04 май '16 в 00:47
1 ответ

Булева алгебра Упрощение (x'y'+z)'+z+xy+wz

Как бы вы упростили следующее? У меня есть небольшая проблема с первой частью с отрицанием. Как здесь применима теорема Деморгана? (Ий '+ г)'+ г + х + WZ Пожалуйста, дайте ответ подробно. Обновить: Полный вопрос, который я получил, должен был доказа…
23 окт '14 в 15:40
1 ответ

Оператор Хаскелла (.) В реализации закона де Моргана

В этом вопросе автор написал реализацию законов де Моргана в Хаскеле. Я понимаю реализацию notAandnotB, а также notAornotB, но я изо всех сил пытаюсь понять реализацию notAorB который: notAorB :: (Either a b -> c) -> (a -> c, b -> c) not…
14 янв '17 в 16:50
2 ответа

Упрощение закона Деморгана

Мне было интересно, как решить этот вопрос, который, как мне сказали, должен быть сделан с помощью закона Деморгана. M = X*(BAR(Y + Z)) + (X + BAR(Y))*(X + BAR(Z)) Я должен найти сумму продуктов. РЕДАКТИРОВАТЬ: ссылку на личности можно найти здесь D…
22 окт '12 в 16:26
2 ответа

Булева логика: теорема Деморгана, врата NAND

Я пытаюсь построить схему для следующей части моего логического уравнения: (!A + !B + !C(!D + !E) Расширяя это, мы, конечно, получаем: (!A + !B + !C!d + !C!E) С теоремой Деморгана я думал, что мы можем уменьшить ее до (ABCDCE)! Который я, хотя и мог…
26 сен '16 в 01:35
1 ответ

Логическая логика: Как я могу упростить это утверждение IF?

Я унаследовал некоторый код, который содержит оператор IF, который я хотел бы сократить, если это возможно. По сути, это простой IF (A или B) THEN. Но это становится сложно, потому что A и B являются обобщениями других выражений. Вопрос: Как я могу …
07 июл '11 в 04:25
1 ответ

Логическое выражение, упрощающее

В настоящее время я пытаюсь научиться упрощать логические выражения. Но я застрял на этой одной задаче, где я должен доказать, что выражение является либо тавтологией, либо противоречием. Я хотел бы помочь с упрощением следующего выражения: (а и не …
14 ноя '18 в 23:15