Boolean algebra, Flip-flops, K-Maps, Verilog

4-input circuits, Minterms and Maxterms