A Note on Three-Valued Logic Simulation