Вопросы по теме 'boolean-expression'
Инструмент для рефакторинга логических выражений
Я ищу инструмент для рефакторинга логического выражения. у меня такие выражения
a1 => (b1 <=> c or d) AND
a2 => (b2 <=> c or d) AND
a2 => (b2 <=> c or d)
Инструмент должен уметь упрощать выражения, например....
2346 просмотров
schedule
07.07.2022
Привязать Image.Source по булевому без конвертера?
Я хочу, чтобы изображение было привязано к логическому значению, а источник изображения зависел от логического значения.
то есть истинный источник = "изображение1" ложный источник = "изображение2"
Мне было интересно, есть ли способ сделать это...
13045 просмотров
schedule
27.10.2022
Логика первого порядка Prolog — печать таблицы истинности
Мне нужно написать программу, которая печатает таблицу истинности выражений. Итак, я написал следующую функцию:
bool(true).
bool(fail).
tableBody(A,B,E) :-
bool(A),
bool(B) ,
write(A) ,
write(' '),
write(B),
write('...
5747 просмотров
schedule
04.10.2022
Как использовать условие ИЛИ в операторе JavaScript IF?
Я понимаю, что в JavaScript вы можете написать:
if (A && B) { do something }
Но как мне реализовать ИЛИ, например:
if (A OR B) { do something }
596151 просмотров
schedule
15.03.2023
Как преобразовать простой логический оператор в SQL?
У меня есть следующая таблица базы данных с информацией о людях, болезнях и лекарствах:
PERSON_T DISEASE_T DRUG_T
========= ========== ========
PERSON_ID DISEASE_ID...
666 просмотров
schedule
04.05.2023
Булева алгебра - поиск элемента существует или нет?
У меня есть следующие предметы
Яблоко= 00000001 (1)
Манго= 00000010 (2)
Банан= 00000100 (4)
Виноград= 00001000 (8)
Теперь я храню плоды, которые пользователь может получить, выполнив or'd
UserA- 00000001 (Apple) или 00000010 (Mango)...
681 просмотров
schedule
12.08.2023
JPQL/HQL и JPA/Hibernate: логическое выражение в выражении конструктора select не работает (неожиданный узел AST: AND, NPE, HqlSqlWalker.setAlias)?
У меня есть оператор JPQL для возврата расписания спортивных игр:
SELECT NEW com.kawoolutions.bbstats.view.ScheduleGameLine(
ga.id AS gid
,...
5946 просмотров
schedule
02.01.2023
Упрощение логического выражения в java
Есть ли какой-либо инструмент или библиотека в java, которая упрощает формулу логического выражения и дает результат.
когда входы такие,
exp = (a || a' ) result = 1
exp = ( a || b ) && ( a' || b ) result = b (after simplification)...
4431 просмотров
schedule
25.10.2022
Как оценивается это логическое выражение?
Из Three.js:
this.sides.px && buildPlane( 'z', 'y', 1 * flip, - 1, depth, height, - width_half, this.materials[ 0 ] ); // px
this.sides.nx && buildPlane( 'z', 'y', - 1 * flip, - 1, depth, height, width_half, this.materials[ 1 ]...
1344 просмотров
schedule
24.04.2023
VB.Net Anding байт и двойной
во время некоторого преобразования кода из проекта VB.net другого человека в C# я столкнулся со следующим кодом:
Public Sub New(ByVal lbytModuleAddress As Byte, ByVal lbytRelayStateMask As Byte)
Dim lintCounter As Integer...
135 просмотров
schedule
29.08.2022
Где я могу найти метод преобразования произвольного логического выражения в конъюнктивную или дизъюнктивную нормальную форму?
Я написал небольшое приложение , которое анализирует выражения в абстрактные синтаксические деревья. Прямо сейчас я использую кучу эвристик для выражения, чтобы решить, как лучше всего оценить запрос. К сожалению, есть примеры, которые делают план...
10909 просмотров
schedule
30.01.2024
Можно ли найти оптимальное решение для булевой формулы с помощью решателей SMT?
У меня есть большая логическая формула для решения, из-за редактирования я должен вставить изображение здесь:
Кроме того, у меня уже есть функция area для измерения размера 4 целых чисел: area(c,d,e,f)=|c−d|×|e−f|
Я хотел бы сделать...
1636 просмотров
schedule
29.01.2023
Заключение строки в скобки, чтобы выражение принимало заданное значение
Следующая задача взята из главы о динамическом программировании Вазирани и др. др.
[6.6] Определим операцию умножения (×) на трех символах a; б; c в соответствии со следующей таблицей:
Следовательно, a × a = b, a × b = b и т. д....
9599 просмотров
schedule
14.10.2022
как работает условие if (i++)?
Возможный дубликат: Концепция постинкремента и предварительного инкремента?
Я не могу понять, как условие «если» работает с оператором увеличения/уменьшения в этом сценарии:
#include<stdio.h>
void main()
{
int n=0;...
17174 просмотров
schedule
05.10.2022
Почему продукты называются минтермс, а суммы — макстермс?
Есть ли у них причина для этого? Я имею в виду, что в сумме минтермов вы ищете термины с выходом 1; Я не понимаю, почему они называют это "минтермами". Почему не maxterms, потому что 1 намного больше, чем 0?
Есть ли за этим причина, которую я не...
25789 просмотров
schedule
12.11.2022
Каковы преимущества/недостатки использования карты Карно вместо таблицы истинности
Что я должен использовать? Или есть особый случай, когда я должен использовать один над другим?
58602 просмотров
schedule
26.02.2024
Как я могу представить самоперечисляющуюся панграмму как логическую функцию?
В вики-статье о самоперечисляемых панграммах говорится, что они вычисляются с использованием бинарных диаграмм принятия решений. Я читал о BDD, и, насколько я понимаю, вам нужно представить некоторую проблему в виде логической функции, прежде чем вы...
321 просмотров
schedule
14.11.2022
Преобразование логического значения в целое число
У меня есть 3 отдельные логические переменные, bit1 , bit2 и bit3 , и мне нужно вычислить эквивалент десятичного целого числа в JavaScript?
48280 просмотров
schedule
12.03.2024
Восклицательный знак перед переменной - требуется уточнение
Я работаю с PHP довольно давно, но вот это всегда было для меня загадкой, правильное использование восклицательного знака (знака минуса) перед переменными.
Что означает !$var ? Является ли переменная false пустой, не заданной и т. д.?
Вот...
31471 просмотров
schedule
06.02.2023
Упрощение логического выражения
Как бы вы упростили это логическое выражение? Я не знаю, как применять булевы законы со знаком импликации.
(pq -> r)'
а также
(p -> (q'r))'
655 просмотров
schedule
17.09.2022
