Вопросы по теме 'boolean-expression'
булева алгебра - построить вентиль ИЛИ как вентиль И-НЕ
Я пытаюсь понять, как это сделать. Насколько я понимаю, набор логических вентилей называется «функционально завершенным», если некоторая комбинация вентилей может использоваться для выполнения каждой из основных логических операций И, ИЛИ и НЕ....
9667 просмотров
schedule
18.11.2023
Как coq Set или Type может быть предложением?
Я читаю учебник по Coq. Он создает тип bool следующим образом:
Coq < Inductive bool : Set := true | false.
bool is defined
bool_rect is defined
bool_ind is defined
bool_rec is defined
Затем он показывает, что каждая из этих вещей...
2097 просмотров
schedule
15.06.2024
Триггер с несколькими условиями WHEN
Как включить столбцы, которые мне нужно отслеживать? т.е. вместо одного условия WHEN я хочу иметь 3 условия WHEN :
CREATE TRIGGER freeradius.insert_into_day_summations
BEFORE INSERT ON freeradius.day_guiding_usage
FOR EACH ROW...
7383 просмотров
schedule
12.03.2024
Как оценить логическое выражение, представленное в виде строки в X++ [AX 2012]
У меня есть сценарий, в котором я хочу оценить логическое выражение, заданное в виде строки.
Например, "1==4" при передаче какой-либо функции будет оцениваться/возвращаться FALSE.
Точно так же «1 == 1» при передаче той же функции будет...
5415 просмотров
schedule
16.01.2024
Условия слияния в операторе if
У меня есть два условия для оператора if. Я обнаружил, что они разные, но я не знаю причину.
1: if ((local != -1) || (fall_back == 1))
2. if ((local != -1) || ((local != -1) && (fall_back == 1)))
Эти двое разные. Но в математике у...
115 просмотров
schedule
11.11.2023
Код/модуль для оценки логического выражения, которое будет использоваться в awk или bash в Linux
Я работаю над некоторыми скриптами bash с awk для поиска во многих файлах и возврата различных комбинаций строк, которые соответствуют различным комбинациям условий.
Я хотел бы каким-то образом добавить возможность для моих скриптов обрабатывать...
445 просмотров
schedule
14.06.2024
как упростить это логическое выражение до 3 литералов?
Как упростить это до 3 литералов/букв?
= LM'+LN+N'B
Как бы вы упростили это логическое выражение? Я не знаю, какие логические законы мне нужно использовать. Я пытался, но не смог сократить до 3 литералов только до 4.
437 просмотров
schedule
13.06.2024
Matlab: утверждение (массив) против если (массив)
В Matlab (по состоянию на 2016a) условное if (array_of_logicals) функционально эквивалентно if (all(array_of_logicals)) . В документации говорится: "Выражение истинно, если его результат непуст и содержит только ненулевые элементы (логические...
317 просмотров
schedule
04.05.2024
Логическое выражение из диаграммы конечного автомата
У меня возникли проблемы с определением логического уравнения для Q1 и Q2. Что я сделал, так это ввел значения в карту карно. Но поскольку диаграмма состояний состоит только из 3 состояний (00, 01 и 11), я немного не уверен, как настроить Karnaugh....
1551 просмотров
schedule
09.02.2024
Только NAND против AND и НЕ единственная разница?
Когда вы упрощаете что-то до этих двух, есть ли между ними действительно какая-то разница?
Например:
( (B'C)' * (B'D')' )'
Это и только NAND? Если да, то можно ли его преобразовать только в И и НЕ? Или наоборот? Я запутался в разнице...
736 просмотров
schedule
29.03.2024
Есть ли какое-то оправдание для `x ‹ y && y › x`?
Я просматривал некоторый код Javascript, используемый для проверки ввода формы, и я заметил оператор if , который читал if (!(x < y && y > x)) {...}
Моя первоначальная мысль заключалась в том, что такого рода тавтологическая...
165 просмотров
schedule
05.02.2024
Создание логических масок из значений пикселей RGB python
У меня есть следующие маски изображений со значениями RGB и соответствующими классами:
BG: 255 0 0
лицо: 255 255 0
волосы: 127 0 0
глаза: 0 0 255
нос: 0 255 255
рот: 0 255 0
Теперь я...
729 просмотров
schedule
27.11.2023
Рисование логической схемы для упрощенного логического выражения
Мне нужно нарисовать логическую схему из упрощенного логического выражения. Вот выражение:
х = PQ'R' + PQ'R + PQR' + PQR
Я получил упрощенное выражение как x = P. Мне нужно нарисовать схему из этого упрощенного выражения.
Теперь мой вопрос:...
199 просмотров
schedule
30.09.2022