Вопросы по теме 'boolean-logic'
Как преобразовать пропозициональную формулу в конъюнктивную нормальную форму (CNF)?
Как я могу преобразовать это уравнение в CNF?
¬((p ∨ ¬Q) ⊃ R) ⊃ (P ∧ R))
51808 просмотров
schedule
07.03.2022
Булевское короткое замыкание продиктовано стандартом или в основном используется для оптимизации?
Учти это
Class* p = NULL;
if( p != NULL && p->Method() == OK ){
// stuff
}
На всех компиляторах, с которыми я работал, это вполне безопасно. Т.е. первая часть логического выражения будет иметь значение false , и, таким...
421 просмотров
schedule
03.09.2022
Логический оператор И
Меня немного смущает логический оператор AND. У меня есть эти 2 строки кода. Здесь num и j оба являются целыми. У меня есть ситуация, когда выполняются оба условия, но я не знаю, почему не печатается значение j . Кто-нибудь может указать на...
305 просмотров
schedule
15.04.2022
C# Как проверить, истинно ли одно из двух значений?
Здесь должен быть простой вопрос для экспертов по С#.
Я в основном хочу проверить, является ли то или иное значение ИСТИННЫМ, дикий удар по коду ниже:
if ((Boolean.Parse(staff.getValue("Male")) | Boolean.Parse(staff.getValue("Female")))
{...
12169 просмотров
schedule
23.12.2023
xor n наборов переменных для использования в преобразовании SAT
Я занимаюсь преобразованием индивидуальной задачи обложки набора в сат, поэтому, возможно, я смогу использовать решатель сат для своей проблемы.
Моя проблема такова: у меня есть несколько наборов переменных, которые взаимодействуют друг с другом в...
169 просмотров
schedule
02.06.2024
Можно ли эту логику if-else-else переписать во что-то более аккуратное?
Могу ли я написать следующую логику более простым и удобным для чтения способом? Ниже показано то, что мне нужно, но это очень беспорядочно:
if (IsChanged == true)
{
return;
}
// Executed when the close (x) button is pressed,
// as the Status...
669 просмотров
schedule
01.03.2023
Проблема упрощения булевой логики
Я ненавижу это. Просто отметить. + означает ИЛИ * означает И ! значит НЕ.
(A+B) * (A+C) * (!B + !C)
(A | B) & (A | C) & (!B | !C) // more conventnal
Ответ А(!В + !С)
Я пытаюсь попасть туда.
Итак, я начинаю с использования...
365 просмотров
schedule
27.03.2022
Логическая проблема - изменение значения
Всем доброе утро.
У меня есть следующий метод, который я использую, чтобы попытаться вернуть логическое значение:
public static bool GetShowCatSubProdStatus(string memberid, string username)
{
MyEnts showcatsubprodstatus = new...
431 просмотров
schedule
21.02.2024
Цифровая логика - таблицы истинности
Я пытаюсь решить эти проблемы с таблицами истинности, используя приведенные ниже формулы. У меня проблема с NOT to NAND
Я думаю, что я правильно решил первые 2 проблемы, используя: AND эквивалентно NOR, AND эквивалентно NAND
Уравнения для И,...
2167 просмотров
schedule
30.03.2022
Почему в C++ true && true || ложь && ложь == правда?
Я хотел бы знать, знает ли кто-нибудь, как компилятор будет интерпретировать следующий код:
#include <iostream>
using namespace std;
int main() {
cout << (true && true || false && false) << endl; // true
}...
35445 просмотров
schedule
04.04.2023
Логический дизайн булевой логики — редукция
У меня есть следующая функция, которую нужно уменьшить/упростить.
F(A,B,C,D) = BC + (A + C'D'), где ' обозначает дополнение
Here's my solution:
= BC + (A + C'D')'
= BC + (A + (C+D)
= BC + (A + C + D)
= BC + C + A + D
= C(B + 1) + A + D
=...
954 просмотров
schedule
21.11.2023
Построение логических вентилей только из вентилей И, ИЛИ и НЕ
Я делаю некоторые исправления для своих экзаменов, и один из часто возникающих вопросов - построить логические вентили, используя только функции И, ИЛИ и НЕ. Наиболее часто встречаются NAND, NOR, XOR, XNOR и функция эквивалентности.
Прав ли я,...
2553 просмотров
schedule
13.11.2023
Пролог для начинающих — это плохая идея?
Приложение, над которым я работаю, является своего рода «конфигуратором». Он написан на C#, и я даже написал для него механизм правил. Идея состоит в том, что существует набор логических утверждений, из которых пользователь может выбирать. В...
698 просмотров
schedule
11.10.2022
Сравнение строк с булевыми функциями истинности
Я искал и до сих пор не имею ни малейшего понятия, поэтому, пожалуйста, потерпите меня.
У меня есть строки, каждая из которых соответствует определенной матрице признаков . Примеры:
'a' = [-vegetable, +fruit, +apple, -orange]
'o' =...
323 просмотров
schedule
27.03.2024
Стандартный логический оператор SQL IS и оператор равенства (=)
На странице Википедии для SQL есть несколько таблиц истинности о логической логике в SQL. [1] Страница Википедии, кажется, является источником стандарта SQL: 2003.
Таблица истинности для оператора равенства (=) отличается от таблицы истинности для...
14613 просмотров
schedule
29.07.2023
Является ли оценка логики MySQL ленивой / короткой замыканием в предложении JOIN?
Возьмем следующее выражение: FALSE AND (expression)
Будет ли MySQL оценивать выражение или просто продолжит работу, как только увидит FALSE ?
Некоторый фоновый контекст. Я хотел ускорить запрос, выполнив:
JOIN... ON...
1723 просмотров
schedule
31.03.2023
Python: почему False или «имя» возвращает «имя», а не False?
НАСКОЛЬКО МНЕ ИЗВЕСТНО :
and , or являются логическими операторами, и любое логическое выражение должно возвращать логическое значение.
Итак, почему это происходит:
False or 'name' возвращает 'name' , а не True
True and ''...
119 просмотров
schedule
07.12.2022
логическая логика Равны ли обе логические логики?
A && B || C && D
(A && B) || (C && D)
Обе логические логики равны в С++? Я сбит с толку.
463 просмотров
schedule
04.07.2022
Булева логика не работает, как я ожидаю, в ветке
{{ dump(extend) }}
Результат:
boolean false
И когда я хочу сделать это:
{% if extend is true %}
{% extends 'WelcomePageBundle:Default:welcome_page.html.twig' %}
{% endif %}
Это не работает. Почему?
Ошибка:
The...
14789 просмотров
schedule
16.02.2024
Как проверить несколько переменных на одно значение?
Я пытаюсь создать функцию, которая будет сравнивать несколько переменных с целым числом и выводить строку из трех букв. Мне было интересно, есть ли способ перевести это на Python. Так скажи:
x = 0
y = 1
z = 3
mylist = []
if x or y or z == 0 :...
351139 просмотров
schedule
19.12.2022
