Seol mar théacs é seo: Logic functions and equations