Two-level logic circuits using EXOR sums of products