Talk:Four valued logic

From Wikipedia, the free encyclopedia

[edit] Model not Test

I've used "model" rather than "test" in my wordsmithing. Testing if a value is "unknown" is an interesting concept. However, this is a start! We are badly short of articles on the technical foundations for EDA software. Cje 17:06, 15 April 2006 (UTC)