private bool Valid(TruthAssignment ta) { foreach (var thisTa in rows) { if (thisTa.Agrees(ta)) { return(true); } } return(false); }
public bool Agrees(TruthAssignment ta) { foreach (var key in values.Keys) { if (ta.ContainsVar(key) && ta[key] != values[key]) { return(false); } } return(true); }