У меня есть две матрицы A (10,5) и B (30,5). Для сравнения, требуемый конечный результат — это логический массив размером (10,30) или (30,10). Мой код: A=rand(10,5) B=rand(30,5) for i=1:size(A,1) X(:,i)=all(bsxfun(@le,A(i,:),B)) end В...

>>> import z3 >>> X = z3.BitVec('X', 32) >>> z3.prove( X^18 == ((X|(~44)) & (X^62)) + (X&44) ) proved x^18 эквивалентно ((x|(~44))&(x^62))+(x&44) ?? Как это возможно? Я хочу узнать подробную...

Я это понимаю A+A`B=A+B Но что происходит, когда B заменен на B` на ЛХС?

Я знаю, что следующее равенство равно: X + X'Y'Z = X + Y'Z Как можно упростить левую часть, чтобы получить правую, используя базовые булевы тождества? Заранее спасибо.