я мой ответ тоже харошей)))

Это называется "Логика предикатов" в дискретной математике, и не + и - , а 1 и 0 как в булевой алгебре