Blockchain, Smart Contracts, Database, Electrical Engineering.
introductory digital circuit design textbook elaborates. Beyond, there is plenty of literature for simplifying logic circuits (e.g. Karnaugh Maps), and plenty of tools for designing and analyzing them. Simplifying circuits for fun and profit with Karnaugh Maps Stateful (Sequential) Digital Circuits