%0 Journal Article
%A 
%D 2020
%J Review of Computer Engineering Research

%@ 2410-9142
%V 7
%N 1
%P 27-37
%T Interactive Algorithms for the Verification of the Equality between Complex and Simplified Boolean-Algebra Expressions in Digital Decoders
%M 10.18488/journal.76.2020.71.27.37
%U http://www.pakinsight.com/archive/76/06-2020/1