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

PI table reduction and Petrick's method