Упростить алгебра логики