Как реализовать логику операторов И / ИЛИ?

Question

У меня есть сомнения относительно того, как реализовать это утверждение с ограничениями: только если A или B или оба, тогда C или D или оба. Я хочу реализовать это с ограничениями, которые принимают двоичные значения. Это пример: если A, то B, означает, что A = B;A или B или оба, означает, что A + B> = 1. Большое вам спасибо.

Answer 1

Позвольте мне попробовать.

Первый A => B не совпадает с A=B. Однако он такой же, как B >= A. Если мы хотим: A <=> B, тогда действительно A=B.

Реальный вопрос, по-видимому, следующий: A+B>=1 <=> C+D>=1 или

A+B>=1 => C+D>=1
A+B=0 => C+D=0

Мы можем записать это как систему неравенств:

C+D >= A
C+D >= B
C+D <= 2(A+B)

Все переменные предполагаются двоичными.