ધારો કે 1 અને 0 વ્યાખ્યાયિત કરવામાં આવે છે અને એ વિવિધ, પછી અસ્તિત્વ