When you activate the option V-K map (type 1 or 2), the user can load V-K through simple mouse clicks. Moreover, the option complete V-K can be used. What the user will not be able to do will be leave the V-K incomplete. When the load is finished you have to activate Evaluate and Exit.

Besides the previous direct load of V-K, the user can obtain V-K from the current function, which she would have loaded by means of: truth table, normal form, Boolean expression and so on, as anybody uses a calculator. Thus, the user sees V-K in a normal form.