The standard specification of logic bistable devices do not specify the behavior under conditions in which the input is logically undefined or in which certain kinds of multiple input changes occur. These conditions are unavoidable in logic synchronizers and arbiters. A general deterministic model of bistable devices is proposed, consisting of a non-liner differential system with some adequate properties. Analysis of this model shows that bistable devices can be driven into a logically undefined region by certain admissible inputs and can remain in this region for an unbounded length of time.