Java Math and Logic