В чем разница между операциями not и inverse в логическом программировании?

Возможно, имелись в виду операции инверсия (логическое отрицание) и NOT в логическом программировании. repetitor.1c.ru otus.ru

Инверсия — одна из базовых операций алгебры логики, которая применяется для изменения истинности логического высказывания. repetitor.1c.ru Если исходное выражение истинно, то после инверсии оно становится ложным и наоборот. repetitor.1c.ru В программировании обозначается символами ¬ или !. dzen.ru

NOT — это обозначение операции инверсии. otus.ru

Таким образом, разница между not и inverse в том, что not — это обозначение операции, а инверсия — её название.