logic simplification using k map
Tout plus