simplification using k-map

visit shbcf.ru