Testing some logics with bitwise