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

Boolean algebra simplifications and K-maps