Quaternary-vector-list for totally computational treating of switching algebraic tasks | IEEE Conference Publication | IEEE Xplore