Beispiel #1
0
 public static bool _eval(DoubleImplication _iff)
 {
     return _iff.p && _iff.p.Converse;
 }
Beispiel #2
0
 public static bool _eval(DoubleImplication _iff)
 {
     return(_iff.p && _iff.p.Converse);
 }