And Symbol Logic Math Definition