Section 46
Want more of a challenge? View in iconic form (experimental)



       # GATE testing alternate primer based on gates: COS_NOT circuit
       # This section contains one or more representations of a circuit
       # constructed using UNLESS gates. Needs elaboration...
       # graphic representation :
       #
[hear] (define cos_not_gate /
         vector
          (vector 0 6 2 6 (true))
          (vector 2 6 4 6 (true))
          (vector 4 6 6 6 (true))
          (vector 6 6 8 6 (true))
          (vector 8 4 8 6 (true))
          (vector 8 6 8 8 (false))
          (vector 8 8 10 8 (false))
          (vector 10 8 12 8 (false))
          (vector 12 8 12 6 (false))
          (vector 12 6 14 6 (false))
          (vector 14 6 16 6 (false))
          (vector 16 6 18 6 (false))
          (vector 18 6 20 6 (false)));

[hear] (define cos_not_image /
         make-image 109 169 /
         vector
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (...............................................................:::.......................................................................................................)
          (...............................................................:::.......................................................................................................)
          (...............................................................:::.......................................................................................................)
          (...............................................................:::.......................................................................................................)
          (...............................................................:::.......................................................................................................)
          (...............................................................:::.......................................................................................................)
          (...............................................................:::.......................................................................................................)
          (...............................................................:::.......................................................................................................)
          (...............................................................:::.......................................................................................................)
          (..............................................................:::::......................................................................................................)
          (...............................................................:::.......................................................................................................)
          (............:...............:...............:...............:...:...........................................:...............:...............:...............:............)
          (...:::::::::::.....:::::::::::.....:::::::::::.....:::::::::::..............................................::..............::..............::..............::...........)
          (...::::::::::::....::::::::::::....::::::::::::....::::::::::::....................................::::::::::::....::::::::::::....::::::::::::....::::::::::::..........)
          (...:::::::::::.....:::::::::::.....:::::::::::.....:::::::::::..............................................::..............::..............::..............::...........)
          (............:...............:...............:...............:...................................:...........:...............:...............:...............:............)
          (................................................................:..............................:::.......................................................................)
          (................................................................:.............................:::::......................................................................)
          (................................................................:...............................:........................................................................)
          (................................................................:...............................:........................................................................)
          (................................................................:...............................:........................................................................)
          (................................................................:...............................:........................................................................)
          (................................................................:...............................:........................................................................)
          (................................................................:...............................:........................................................................)
          (................................................................:...............................:........................................................................)
          (..............................................................:::::.............................:........................................................................)
          (...............................................................:::..............................:........................................................................)
          (................................................................:...........:...............:............................................................................)
          (............................................................................::..............::...........................................................................)
          (...................................................................::::::::::::....::::::::::::..........................................................................)
          (............................................................................::..............::...........................................................................)
          (............................................................................:...............:............................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................)
          (.........................................................................................................................................................................));

[hear] (equal (cos_not_gate)
               (distill-circuit (cos_not_image)));