public bool Equals(Heyting other)
{
return(this.@true == other.@true &&
this.@false == other.@false);
}
public bool Equals(Heyting other)
{
return this.@true == other.@true
&& this.@false == other.@false;
}