binary logic reasoning tricks