mathematical replacements for the logical operators