Problem 221. Boolean algebra

Created by Tomasz in Community

Your contractor from Elbonia has sent you the prototype of the new logical unit. It turns out that the only logical relation it understands is "nand":

nand(a,b) := ~(a&b)

Your team has been developing code using the usual logical operators following MATLAB syntax: ~,& and |. To save the project you need to write a translator that expresses MATLAB logical expressions using only the nand function.


  • expr: a string containing a valid logical expression in MATLAB, that relates the two logical variables a and b


  • out: a string containing an equivalent logical expression that may only use the function nand(a,b).

Example 1:

    expr = 'a|(~b)'
  =>out  = 'nand(nand(a,a),b)'

Example 2:

    expr = '(a & ~a) | ~(a|b)'
  =>out  = 'nand(nand(nand(a,a),nand(b,b)),nand(nand(a,a),nand(b,b)))'


It is not necessary to provide the shortest solution. A solution always exists. The input string is non-empty and always evaluates to true or false, if a and b are logical variables. All substrings in the output that are not 'a','b','0','1','true','false','(',')' or'nand' will be ignored.

Solution Stats

20.0% Correct | 80.0% Incorrect
Last solution submitted on May 02, 2019

Solution Comments

Recent Solvers8

Suggested Problems

More from this Author7