AND <2024-02-05 Mon 19:30:32> math in switching algebra, AND is defined as [cite:@kohavi_switching_2010 section 3 switching algebra and its applications]