public bool KanWaar(Valuatie v)
{
// Een negatie kan waar zijn als het element onwaar kan zijn
return(formule.KanOnwaar(v));
}
public bool KanOnwaar(Valuatie v)
{
// Een conjuctie kan onwaar zijn als één of beide van de elementen onwaar kunnen zijn
return(links.KanOnwaar(v) || rechts.KanOnwaar(v));
}
public bool KanOnwaar(Valuatie v)
{
// Een disjunctie kan enkel onwaar zijn als beide elementen onwaar kunnen zijn
return(links.KanOnwaar(v) && rechts.KanOnwaar(v));
}