Efficient Fuzzy Logic