1# Solve a circuit-satisfiability problem. 2 3!include <gates> 4 5!use_macro not1 not_x4 6not_x4.$A = x3 7not_x4.$Y = $x4 8 9!use_macro or2 or_x5 10or_x5.$A = x1 11or_x5.$B = x2 12or_x5.$Y = $x5 13 14!use_macro not1 not_x6 15not_x6.$A = $x4 16not_x6.$Y = $x6 17 18!use_macro and3 and_x7 19and_x7.$A = x1 20and_x7.$B = x2 21and_x7.$C = $x4 22and_x7.$Y = $x7 23 24!use_macro or2 or_x8 25or_x8.$A = $x5 26or_x8.$B = $x6 27or_x8.$Y = $x8 28 29!use_macro or2 or_x9 30or_x9.$A = $x6 31or_x9.$B = $x7 32or_x9.$Y = $x9 33 34!use_macro and3 and_x10 35and_x10.$A = $x8 36and_x10.$B = $x9 37and_x10.$C = $x7 38and_x10.$Y = x10 39