Что означает IMP и IMPBY?

Question

Я проводил некоторые исследования и натолкнулся на 2 оператора логической логики - IMP и IMPBY. Что это значит?

Я провел какое-то исследование и ничего не могу найти по нему. Кто-нибудь знает, что они делают / имеют в виду?

Я сталкивался с этим здесь https://brilliant.org/problems/finding-two-bits/

Answer 1

Если оператор - IMP, а второй операнд - True, тогда выражение оценивается как True. Тогда я бы предположил, что если оператор IMPBY, а первый операнд - True, тогда выражение оценивается как True

.