About: http://webisa.webdatacommons.org/25164652

Property	Value
http://www.w3.org/1999/02/22-rdf-syntax-ns#type	http://www.w3.org/ns/prov#Entity
http://www.w3.org/ns/prov#value	what is desired is a machine that can produce selectively all possible state combinations of the inputs A and B, including the do not care states.
http://www.w3.org/ns/prov#wasQuotedFrom	google.com