Symbolic Simulation, Model Checking and Abstraction with Partially Ordered Boolean Functional Vectors