=begin

	https :// ideone.com/OJiVYh の続き
	入力オプションは  "a1 b1 a2 b2 a3 b3 a4 b4 z"。 ex. "X Y X c1 Y c1 c2 c3 c4"

	配線は手抜き

# NAND の SVG のオリジナルは
https :// ja.wikipedia.org/wiki/NAND%E3%82%B2%E3%83%BC%E3%83%88
https :// ja.wikipedia.org/wiki/NAND%E3%82%B2%E3%83%BC%E3%83%88#/media/%E3%83%95%E3%82%A1%E3%82%A4%E3%83%AB:NAND_ANSI_Labelled.svg

=end


	ab = gets.split
	exit	if ab.size != 9

	Logic = Struct.new( :a, :b, :q, :stg, :x, :y, :no )
	logics = []


	lHash = { 'x'=>0,'y'=>1, 'c1'=>2,'c2'=>3,'c3'=>4,'c4'=>5 }
	lName = %W{ X Y c1 c2 c3 c4 }

	4.times{|n|
		logics << Logic.new( lHash[ ab[2*n].downcase ],lHash[ ab[2*n+1].downcase ],false, false, -1,-1, n )
	}
	logics[ lHash[ ab[8].downcase ]-2 ].q = true

# ステージ調査
	begin
		lg = []
		logics.each{|s|
			lg[2*s.no]   = true	if s.a <= 1
			lg[2*s.no+1] = true	if s.b <= 1
		}
		3.times{|st|
			sq = []
			4.times{|i|
				next	if logics[i].stg
				next	unless lg[2*i] && lg[2*i+1]
				logics[i].stg = st
				sq << "c#{i+1}"
			}
			sq.each{|q|
				ab.each_with_index{|s,i|
					lg[i] = true	if s == q
				}
			}
		}
	end
	
	# 座標決定
	begin
		max_stg = []
		logics.each{|s| max_stg[s.stg] = (max_stg[s.stg] || 0) + 1 }
		max_stg.size.times{|j|
			si = 0
			logics.each_with_index{|s,i|
				next	unless j == s.stg
				s.x = s.stg * 120 * 2 + 20 
				s.y = si * 100 + 20
				si += 1
			}
		}
		(max_stg.max-1).times{|n|
			max_stg.each_with_index{|s,i|
				next	unless s == n + 1
				logics.each{|x|
					next	unless x.stg == i
					x.y += 50 * (s-n)
				}
			}
		}
	end

# SVG出力
#	File.open( save_path, 'w:UTF-8' ){|fh|
		print <<_EOT_
<svg xmlns:xlink="http://w...content-available-to-author-only...3.org/1999/xlink" xmlns="http://w...content-available-to-author-only...3.org/2000/svg" id="nand_logic"
   width="#{120*8}"
   height="#{50*8}"
>
<defs>
	<g id="nand">
		<path style="font-size:medium;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-indent:0;text-align:start;text-decoration:none;line-height:normal;letter-spacing:normal;word-spacing:normal;text-transform:none;direction:ltr;block-progression:tb;writing-mode:lr-tb;text-anchor:start;fill:black;fill-opacity:1;stroke:none;stroke-width:3;marker:none;visibility:visible;display:inline;overflow:visible;enable-background:accumulate;font-family:Bitstream Vera Sans;-inkscape-font-specification:Bitstream Vera Sans"
			d="M 40,5 L 40,6.4285714 L 40,43.571429 L 40,45 L 41.428571,45 L 60.47619,45 C 71.744098,45 80.47619,35.999955 80.47619,25 C 80.47619,14.000045 71.744099,5.0000002 60.47619,5 C 60.47619,5 60.47619,5 41.428571,5 L 40,5 z M 42.857143,7.8571429 C 50.834264,7.8571429 55.918368,7.8571429 58.095238,7.8571429 C 59.285714,7.8571429 59.880952,7.8571429 60.178571,7.8571429 C 60.327381,7.8571429 60.409227,7.8571429 60.446429,7.8571429 C 60.465029,7.8571429 60.471543,7.8571429 60.47619,7.8571429 C 70.236853,7.857143 77.142857,15.497098 77.142857,25 C 77.142857,34.502902 69.760662,42.142857 60,42.142857 L 42.857143,42.142857 L 42.857143,7.8571429 z" />
		<g style="fill:none;stroke:black;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1">
			<path d="M 41,15 L 15,15" />
			<path d="M 41,35 L 15,35" />
			<path d="M 88.11111,25 C 101.62222,25 105,25 105,25" />
			<path d="M 88,25 A 4,4 0 1 1 80,25 A 4,4 0 1 1 88,25 z" />
		</g>
	</g>
</defs>
<style type="text/css">
	.wire1{ stroke:black; stroke-width:2; stroke-opacity:1 }
	.wire2{ stroke:blue; stroke-width:2; stroke-opacity:0.4; fill:none }
</style>

_EOT_

		logics.each{|s|
			puts %Q{\t<use xlink:href="#nand" x="#{s.x}" y="#{s.y}" />}
		}
		puts %Q{  <g font-weight="400" font-size="17px" >}
		logics.each{|s|
			puts %Q{\t<text text-anchor="end" x="#{s.x+38}" y="#{s.y+10}">a#{s.no+1}</text>}
			puts %Q{\t<text text-anchor="end" x="#{s.x+38}" y="#{s.y+32}">b#{s.no+1}</text>}
			puts %Q{\t<text x="#{s.x+90}" y="#{s.y+21}">c#{s.no+1}</text>}
		}
		puts "  </g>"

		puts %Q{  <g font-weight="bolder" font-size="20px" >}
		logics.each{|s|
			puts %Q{\t<text text-anchor="end" x="#{s.x+12}" y="#{s.y+22}">#{lName[s.a]}</text>}	if s.a < 2
			puts %Q{\t<text text-anchor="end" x="#{s.x+12}" y="#{s.y+42}">#{lName[s.b]}</text>}	if s.b < 2
			if s.q
				puts %Q{\t<path class="wire1" d="M #{s.x+105},#{s.y+25} l 20,0" />}
				puts %Q{\t<text x="#{s.x+112+20}" y="#{s.y+32}">Z</text>}
			else
				sno = s.no + 2
				corner = s.no * 10
				logics.each{|s2|
					if s2.a == sno
						puts %Q{\t<path class="wire2" d="M #{s.x+105},#{s.y+25} l #{50+corner},0 l 0,#{s2.y+15-s.y-25} L #{s2.x+15},#{s2.y+15}" />}
					end
					if s2.b == sno
						puts %Q{\t<path class="wire2" d="M #{s.x+105},#{s.y+25} l #{50+corner},0 l 0,#{s2.y+35-s.y-25} L #{s2.x+15},#{s2.y+35}" />}
					end
				}
			end
		}
		puts "  </g>"

		print <<_EOT_
</svg>
_EOT_