Вопросы по теме '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 просмотров

Триггер с несколькими условиями WHEN
Как включить столбцы, которые мне нужно отслеживать? т.е. вместо одного условия WHEN я хочу иметь 3 условия WHEN : CREATE TRIGGER freeradius.insert_into_day_summations BEFORE INSERT ON freeradius.day_guiding_usage FOR EACH ROW...
7383 просмотров

Как оценить логическое выражение, представленное в виде строки в X++ [AX 2012]
У меня есть сценарий, в котором я хочу оценить логическое выражение, заданное в виде строки. Например, "1==4" при передаче какой-либо функции будет оцениваться/возвращаться FALSE. Точно так же «1 == 1» при передаче той же функции будет...
5415 просмотров

Условия слияния в операторе if
У меня есть два условия для оператора if. Я обнаружил, что они разные, но я не знаю причину. 1: if ((local != -1) || (fall_back == 1)) 2. if ((local != -1) || ((local != -1) && (fall_back == 1))) Эти двое разные. Но в математике у...
115 просмотров

Код/модуль для оценки логического выражения, которое будет использоваться в awk или bash в Linux
Я работаю над некоторыми скриптами bash с awk для поиска во многих файлах и возврата различных комбинаций строк, которые соответствуют различным комбинациям условий. Я хотел бы каким-то образом добавить возможность для моих скриптов обрабатывать...
445 просмотров
schedule 14.06.2024

как упростить это логическое выражение до 3 литералов?
Как упростить это до 3 литералов/букв? = LM'+LN+N'B Как бы вы упростили это логическое выражение? Я не знаю, какие логические законы мне нужно использовать. Я пытался, но не смог сократить до 3 литералов только до 4.
437 просмотров

Matlab: утверждение (массив) против если (массив)
В Matlab (по состоянию на 2016a) условное if (array_of_logicals) функционально эквивалентно if (all(array_of_logicals)) . В документации говорится: "Выражение истинно, если его результат непуст и содержит только ненулевые элементы (логические...
317 просмотров

Логическое выражение из диаграммы конечного автомата
У меня возникли проблемы с определением логического уравнения для Q1 и Q2. Что я сделал, так это ввел значения в карту карно. Но поскольку диаграмма состояний состоит только из 3 состояний (00, 01 и 11), я немного не уверен, как настроить Karnaugh....
1551 просмотров

Только NAND против AND и НЕ единственная разница?
Когда вы упрощаете что-то до этих двух, есть ли между ними действительно какая-то разница? Например: ( (B'C)' * (B'D')' )' Это и только NAND? Если да, то можно ли его преобразовать только в И и НЕ? Или наоборот? Я запутался в разнице...
736 просмотров

Есть ли какое-то оправдание для `x ‹ y && y › x`?
Я просматривал некоторый код Javascript, используемый для проверки ввода формы, и я заметил оператор if , который читал if (!(x < y && y > x)) {...} Моя первоначальная мысль заключалась в том, что такого рода тавтологическая...
165 просмотров

Создание логических масок из значений пикселей 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