Beispiel #1
0
 public bool Equals(Heyting other)
 {
     return(this.@true == other.@true &&
            this.@false == other.@false);
 }
Beispiel #2
0
 public bool Equals(Heyting other)
 {
     return this.@true == other.@true
         && this.@false == other.@false;
 }