Logical Reasoning to Detect Weaknesses About SHA-1 and MD4/5