Sistema binario de operaciones de demostración