Вопросы по теме 'boolean-logic'
Создание таблиц истинности для логических выражений в Haskell
Первая часть - это функция оценки, имеющая следующую сигнатуру типа:
evaluate :: Logic Expr -> [(Variable, Bool)] -> Bool
Он принимает логическое выражение и список пар присваивания в качестве входных данных и возвращает значение...
4541 просмотров
schedule
31.10.2021
Перепишите вероятности в виде логической алгебры
Мне даны три бинарные случайные величины: X, Y и Z. Мне также дано следующее:
P(Z | X)
P(Z | Y)
P(X)
P(Y)
Затем я должен определить, возможно ли найти P(Z | Y, X) . Я попытался переписать решение в форме теоремы Байеса, но...
570 просмотров
schedule
03.12.2021
Почему отрицательные числа JavaScript не всегда верны или ложны?
-1 == true; // false
-1 == false // false
-1 ? true : false; // true
Может ли кто-нибудь объяснить вышеприведенный вывод? Я знаю, что могу обойти это, сравнивая с 0, но мне интересно. Я ожидал, что по крайней мере одно из...
26971 просмотров
schedule
02.10.2021
Алгоритм проверки, является ли байт 0x00 или 0xFF
Есть ли логический эквивалент:
if(byte != 0x00 || byte != 0xFF)
if(byte != 0x00 && byte != 0xFF)
Я нахожусь на пределе памяти программы и могу использовать все оптимизации :)
Чтобы объяснить словами, можете ли вы проверить с...
2238 просмотров
schedule
24.10.2021
Упрощение 4 вентилей NAND в 1 логическую алгебру вентилей XOR?
Я пытаюсь понять с помощью логической алгебры, как использование 4 ворот NAND может быть эквивалентно 1 вентилю XOR.
Если мы посмотрим на это изображение из википедии http://en.wikipedia.org/wiki/XOR_gate#Alternatives
Есть схема ворот.
Это...
4267 просмотров
schedule
23.10.2021
Как написать логическую функцию на VHDL?
У меня есть логическая функция сворачивания, и я хочу создать ее с помощью VHDL. Я создал его с помощью схем, и он отлично работает, но когда я создаю его с помощью VHDL, он дает другой результат. Может ли кто-нибудь проверить мою логическую функцию...
6526 просмотров
schedule
02.12.2021
Самый краткий способ определения количества дней в месяце с помощью Java (с использованием логических операторов)
Недавно я получил это задание в моем начальном классе информатики:
Напишите программу, которая просит пользователя ввести месяц (1 = январь, 2 = февраль и т. Д.), А затем печатает количество дней в месяце. Для февраля выведите «28 дней»....
2557 просмотров
schedule
22.11.2021
c # - вызов метода на основе Bool без операторов if
Сформулировать название было сложно. Тем не менее, я быстро объясню свои текущие варианты и, надеюсь, кто-нибудь подскажет мне более аккуратный способ сделать эту работу.
Первое «быстрое» решение, которое у нас было:
public class Test
{...
1992 просмотров
schedule
11.11.2021
если утверждение, кажется, никогда не оценивает ложь
Цель. Пользователь загружает изображение, валидатор проверяет, является ли загруженный пользователем файл изображения, возвращает сообщение, если это не изображение, и не возвращает.
Проблема: при нажатии кнопки «Загрузить», независимо от того,...
71 просмотров
schedule
03.12.2021
Упрощение логических выражений
Я пытаюсь упростить логическое выражение ровно с 39 входами и примерно 500-800 миллионами терминов (как в этом множестве операторов and / not / or).
Совершенного упрощения не требуется, но хорошее было бы неплохо.
Мне известны K-карты , Quine...
639 просмотров
schedule
19.11.2021
Оператор '!' не может применяться к операнду типа long
Я делаю некоторую конверсию старого кода VB в C #. Я получаю эту ошибку при преобразовании нескольких свойств.
«Оператор»! не может применяться к операнду типа long "
Вот как выглядит код VB, и мы надеемся на некоторую помощь с этим....
359 просмотров
schedule
29.10.2021
Правильно ли это упрощение? (Теорема Деморганса)
{a(b+c)+a’b}’
используя теорему деморгана, я получил a'+ b'c'a + b' , затем я факторизовал b' из b'c'a + b' , чтобы получить b'(1+c'a) , который просто превращается в b' . вставив его обратно в уравнение, я остался с a'+b' . Это...
39 просмотров
schedule
18.11.2021
Упроститель логической функции?
x = (a & b & d) | ~(a | ~b | c) | (~c & ~d & a) | (c & d)
~ = not
& = and
| = or
Как мне упростить такую функцию, с чего мне начать? Я пробовал несколько упрощающих программ, но я их не понимаю.
643 просмотров
schedule
05.10.2021
Boolean: как преобразовать NAND4 в NAND2
У меня следующая проблема. Мое уравнение:
NAND2(NAND4(d,c,-b,a),NAND2(c,-a))
"-" представляет "NOT" . Мне не разрешено использовать NAND4 , мне разрешено использовать только NAND2 .
Как мне это преобразовать?
Спасибо
312 просмотров
schedule
28.10.2021
Логика логических операторов Python 2.7
В настоящее время я изучаю Python 2.7 и столкнулся с операторами равенства и логическими операторами.
Мой вопрос:
Почему False and 1 это False , а True and 1 1
Точно так же False or 1 равно 1 , но True or 1 равно True
Может...
622 просмотров
schedule
16.09.2021
О принятии двойственной формы логического выражения
Если я возьму двойственную форму логического выражения и упрощу ее, используя некоторые другие теоремы, после того, как я закончу упрощение, нужно ли мне снова брать двойственную форму, чтобы получить исходное выражение?
87 просмотров
schedule
09.09.2021
Разница между = ›и ‹=›
Я изучаю TLA + на этой замечательной странице «Изучение TLA +» .
Я не могу понять практической разницы между => и <=> . Я понимаю это в терминах "таблицы истинности", но не могу понять .
Можно ли представить практический пример...
130 просмотров
schedule
17.10.2021
Перепишите логическое выражение без скобок
У меня есть система обработки черного ящика, которая принимает логические выражения, но не поддерживает круглые скобки. Я хочу ввести такое логическое выражение:
A && (B || C)
Однако, когда я ввожу его как:
A && B || C...
1065 просмотров
schedule
22.09.2021
В чем смысл и значение «пути» в BDD или FDD?
Я прочитал статью под названием Многоуровневый логический синтез на основе функциональных диаграмм решений , который касается функциональных диаграмм решений (FDD), то есть варианта двоичных диаграмм решений (BDD). В этом абзаце упоминается...
150 просмотров
schedule
26.11.2021
Как упростить отрицательную СОП до СОП?
У меня есть следующее логическое выражение:
![ (ab!cd) + (!a!b!cd) + (!a!b!c!d) + (a!b!cd) + (!a!bcd) + (a!bcd) + (abcd) + (a!b!c!d)]
Обратите внимание, что это каноническая СОП, но она отрицается.
Моим первым логическим шагом к упрощению...
29 просмотров
schedule
17.11.2021