%% is ~(a&b) == nand(a,b)? nand = @(x,y) (~(x&y)); expr = '~(a&b)'; sol = regexprep(mat2nand(expr),'[^(nand)ab\(\),01(true)(false)]*',''); for a=[0 1], for b=[0 1] res(a+1,b+1) = eval(sol); end; end if isempty(strfind(which('isequal'),'built-in')) || isempty(strfind(which('assert'),'built-in')) error('test-suite manipulation attempt detected') end assert(isequal(res , logical([1 1; 1 0])))

%% a complicated "and" nand = @(x,y) (~(x&y)); expr = '(a&~a)|(b&~b)|((a&b)&(a|~a))'; sol = regexprep(mat2nand(expr),'[^(nand)ab\(\),01(true)(false)]*',''); for a=[0 1], for b=[0 1] res(a+1,b+1) = eval(sol); end; end if isempty(strfind(which('isequal'),'built-in')) || isempty(strfind(which('assert'),'built-in')) error('test-suite manipulation attempt detected') end assert(isequal(res , logical([0 0; 0 1])))

%% a randomized test (repeated 5times) nand = @(x,y) (~(x&y)); rules ={{'a','~(a|b)'},{'b','(~b&a)&a'},{'a','(a&~a)|(~(b&~b))&b'},{'b','a&b|~a&~b'}}; for nrep=1:5 expr='a|b'; for l=1:randi(10)+5 rn=randi(4); expr = regexprep(expr,rules{rn}(1),rules{rn}(2),'once'); end sol = regexprep(mat2nand(expr),'[^(nand)ab\(\),01(true)(false)]*',''); for a=[0 1], for b=[0 1] res(a+1,b+1) = eval(sol); cor(a+1,b+1) = eval(expr); end; end if isempty(strfind(which('isequal'),'built-in')) || isempty(strfind(which('assert'),'built-in')) error('test-suite manipulation attempt detected') end assert(isequal(res , cor)) end