| static private IMPLIES ( bool p, bool q ) : bool | ||
| p | bool | |
| q | bool | |
| return | bool | |
internal static bool IMPLIES(bool p, bool q)
{
if (p)
{
return q;
}
return true;
}
}