Вопросы по теме 'boolean-logic'
булева алгебра - построить вентиль ИЛИ как вентиль И-НЕ
Я пытаюсь понять, как это сделать. Насколько я понимаю, набор логических вентилей называется «функционально завершенным», если некоторая комбинация вентилей может использоваться для выполнения каждой из основных логических операций И, ИЛИ и НЕ....
9667 просмотров
schedule
18.11.2023
сравнение кортежей в SQL Server с троичной логической логикой
У меня есть вопрос относительно троичной логической логики, которая влияет на то, как реализовать сравнение между полиморфными сущностями в нашем поставщике LINQ.
В SQL, если вы присоединитесь к таблице Region с помощью внешнего ключа Country :...
479 просмотров
schedule
26.02.2024
Оценить логическое выражение, заданное как строка в PHP?
У меня есть объект со свойством состояния, например state = 'state4' или state = 'state2' . Теперь у меня также есть массив всех доступных состояний, которые может получить свойство состояния, от state1 до state8 ( примечание: состояния не...
3176 просмотров
schedule
16.01.2024
Сложный запрос SOLR, включающий НЕ и ИЛИ
У меня есть некоторые довольно сложные требования для поиска SOLR, которые мне нужно выполнить в моей базе данных с теговым контентом. Мне нужно сначала отфильтровать базу данных по тем результатам, которые соответствуют моим тегам фильтра. Любые из...
2948 просмотров
schedule
09.02.2024
Как называется эта особая УНВ?
Предположим, у вас есть экземпляр логической выполнимости, где формула дана в CNF. Кроме того, каждое предложение содержит только положительные литералы или отрицательные литералы. Например:
(a || b) && (!a || !c || !d) && (b ||...
393 просмотров
schedule
28.02.2024
Логическая ошибка цикла JAVA с НЕ .equalsIgnoreCase()
Я пытаюсь использовать equalsIgnoreCase() в цикле while, чтобы попытаться проверить, было ли написано что-то, кроме того, что было предназначено для записи, с использованием оператора NOT (!). Например:
String temp="A";
boolean x...
16001 просмотров
schedule
24.10.2022
Как реализовать NOR, NAND, XNOR в math.js?
Я хотел бы, чтобы кто-нибудь помог мне. Есть очень хорошая JS-библиотека math.js. Он реализует булевы логические операторы NOT, OR, AND, XOR. Мне нужны остальные: NOR, NAND, XNOR.
Я знаю, что ИЛИ НЕ ИЛИ, но; есть проблема, мне нужны эти...
3444 просмотров
schedule
12.10.2022
Что не так с моим оператором if else
У меня есть переменная $name , содержащая строку, и когда я ее проверяю, я никогда не получаю сообщение об ошибке «Имя должно быть от 2 до 40 символов», даже если оно содержит менее 2 символов или более 40. Почему?
if (strlen($name) < 2...
82 просмотров
schedule
12.01.2024
Как выполнить логический поиск в ruby on rails?
Может ли кто-нибудь предложить мне несколько ссылок или помочь мне с некоторыми идеями о том, как выполнить логический поиск в ruby on rails.
Я хочу использовать логические операторы в поле поиска, как показано ниже:
(A OR B) AND (NOT C)
(A...
402 просмотров
schedule
04.12.2022
Почему операции объединения, пересечения и разности называются булевыми операциями в реляционной алгебре?
Почему операции объединения, пересечения и разности реляционной алгебры называются логическими операциями?
Я обнаружил, что они называются так в первой строке раздела 5.4.1 Булевы операции (раздел 5.4 — Реляционная алгебра и журнал данных) в книге...
833 просмотров
schedule
15.04.2024
Haskell работает с Math Logic
Я работаю над этой практической задачей, в которой мне нужно написать кучу функций на языке функционального программирования Haskell. Мне удается написать некоторые из них, но не все, и мне нужно, чтобы те, которые я не смог закончить, продолжились в...
184 просмотров
schedule
23.01.2024
Недопустимое значение встречается в большей логике массива numpy
Вопрос "Почему я получаю неверное значение..." обсуждался уже несколько раз. Вот еще один вариант, который я пока не совсем понимаю - поэтому я открываю эту тему:
(1) in
y = np.nan
(~np.isnan(y)) & (y > 5.)
Я получаю правильный...
1367 просмотров
schedule
24.02.2024
Только NAND против AND и НЕ единственная разница?
Когда вы упрощаете что-то до этих двух, есть ли между ними действительно какая-то разница?
Например:
( (B'C)' * (B'D')' )'
Это и только NAND? Если да, то можно ли его преобразовать только в И и НЕ? Или наоборот? Я запутался в разнице...
736 просмотров
schedule
29.03.2024
Как правильно реализовать и проверить персептрон и градиентный спуск, чтобы изучить основные логические функции в Haskell?
Я пытаюсь построить блок персептрона в Haskell, чтобы изучить логические функции And и Or, как в книге Митчелла.
Я почти уверен, что мой градиентный спуск верен, но я изо всех сил пытаюсь проверить, действительно ли он изучает алгоритм. У меня...
129 просмотров
schedule
02.10.2022
Реализация 8-битного сумматора в python
Я реализовал 8-битный сумматор в python следующим образом:
from gates import AND, OR, XOR
from utils import number_to_binary, binary_to_number
def EightBitAdder(s1='110101', s2='00010', carry_in=0):
# Limit to 8 bits
s1 =...
1195 просмотров
schedule
25.01.2024
Булева логика SKI
Я пытаюсь разобраться с комбинаторами, поэтому я написал основные: K и S на машинописном языке:
const K: Kestrel = a => b => a;
const S: Starling = a => b => c => a(c)(b(c));
Затем я последовал статье в Википедии о SKI...
93 просмотров
schedule
23.03.2024