Logic Gate Simulator: алгебраическая, сокращённая ДНФ и совершенные нормальные формы булевых функций