Импликация в алгебре логики: основные операции