Ideone.com

fork download

copy

=begin
 
286 デフォルトの名無しさん 2020/04/24(金) 20:56:21.49 ID:pA5GOauV
 
お題
XORゲートは4つのNANDゲートで構成できることが知られている
この構成方法をプログラムで探索せよ
 
i番目のNANDゲートの入力を(ai,bi)、出力をciとする
XORゲートの入力を(X,Y)、出力をZとする
 
出力例
X->a1
Y->b1
X->a2
c1->b2
Y->a3
c1->b3
c2->a4
c3->b4
c4->Z 
 
=end
 
 
# 自由度は入力の接続先。出力のどれかと必ず接続する。
# 入力同士は接続できる (同じ出力に接続できる)
# 出力同士は接続できない
#   どこにもつながらない出力は無いはず
# 出力	X,Y, c1,c2,c3,c4				0..5
# 入力	a1,b1, a2,b2, a3,b3, a4,b4		ab[0..7]
#		c1..4 いずれか -> Z
 
	$ans = 0
	NandPiece = 4
	Ntbl = %w{ X Y c1 c2 c3 c4 }
 
def print_map2( ab, z )
	puts [ab.map{|n| Ntbl[n]}, "c#{z+1}"].join(' ')
end
 
def print_map( ab, z )
	chAB = %w{ a b }
	ab.each_with_index{|n,i|
		m, a = i.divmod(2)
		puts " %3s -> %s%d" % [ Ntbl[n], chAB[a], m+1 ]
	}
	puts "  c#{z+1} -> Z\n\n"
end
 
 
def check( ab )
	return false	unless ab.index(0) && ab.index(1)	# X,Y 入力を使わない物は枝刈り
	cnum = [0] * NandPiece	# 出力ビットテーブル f(x,y) -> c_
	2.times{|x|
		2.times{|y|
			oc = [ x, y ]			# 出力値 x,y,c1..c4
			fc = [ true, true ]		# 出力確定フラグ x,y,c1..c4
			nn = NandPiece			# 未確定数
			NandPiece.times{
				NandPiece.times{|cn|
					next	if fc[ cn+2 ]
					a, b = ab[2*cn], ab[2*cn+1]
					next	unless fc[a] && fc[b]
					oc[ cn+2 ] = (oc[a] & oc[b]) ^ 1	# nand
					fc[ cn+2 ] = true
					nn -= 1
				}
				break	if nn == 0
			}
			return false	unless nn == 0		# 枝刈り
			NandPiece.times{|n|
				cnum[n] = (cnum[n] << 1) | oc[n+2]
			}
		}
	}
	cn = cnum.index( 0b0110 )	# xor パターン検索
	return false	unless cn
 
	$ans += 1
	print_map2( ab, cn )
end
 
	ab = [ 0,0, 0,0, 0,0, 0,0 ]
 
def solve( ab, n = 0 )
	return	if n > 7
	solve( ab, n + 1 )
	check( ab )	if n == 7
	ab[n] += 1
	ab[n] += 1	if n >> 1 == ab[n] - 2		# 出力は入力につなげない (一段のループだけチェック)
	if ab[n] > 5
		ab[n] = 0
		return
	end
	solve( ab, n )
end
 
#####################################################################
 
	solve( ab )
	puts "Done. #{$ans}"

PWJlZ2luCgoyODYg44OH44OV44Kp44Or44OI44Gu5ZCN54Sh44GX44GV44KTIDIwMjAvMDQvMjQo6YeRKSAyMDo1NjoyMS40OSBJRDpwQTVHT2F1VgoK44GK6aGMClhPUuOCsuODvOODiOOBrzTjgaTjga5OQU5E44Ky44O844OI44Gn5qeL5oiQ44Gn44GN44KL44GT44Go44GM55+l44KJ44KM44Gm44GE44KLCuOBk+OBruani+aIkOaWueazleOCkuODl+ODreOCsOODqeODoOOBp+aOoue0ouOBm+OCiAoKaeeVquebruOBrk5BTkTjgrLjg7zjg4jjga7lhaXlipvjgpIoYWksYmkp44CB5Ye65Yqb44KSY2njgajjgZnjgosKWE9S44Ky44O844OI44Gu5YWl5Yqb44KSKFgsWSnjgIHlh7rlipvjgpJa44Go44GZ44KLCgrlh7rlipvkvosKWC0+YTEKWS0+YjEKWC0+YTIKYzEtPmIyClktPmEzCmMxLT5iMwpjMi0+YTQKYzMtPmI0CmM0LT5aIAoKPWVuZAoKCiMg6Ieq55Sx5bqm44Gv5YWl5Yqb44Gu5o6l57aa5YWI44CC5Ye65Yqb44Gu44Gp44KM44GL44Go5b+F44Ga5o6l57aa44GZ44KL44CCCiMg5YWl5Yqb5ZCM5aOr44Gv5o6l57aa44Gn44GN44KLICjlkIzjgZjlh7rlipvjgavmjqXntprjgafjgY3jgospCiMg5Ye65Yqb5ZCM5aOr44Gv5o6l57aa44Gn44GN44Gq44GECiMgICDjganjgZPjgavjgoLjgaTjgarjgYzjgonjgarjgYTlh7rlipvjga/nhKHjgYTjga/jgZoKIyDlh7rlipsJWCxZLCBjMSxjMixjMyxjNAkJCQkwLi41CiMg5YWl5YqbCWExLGIxLCBhMixiMiwgYTMsYjMsIGE0LGI0CQlhYlswLi43XQojCQljMS4uNCDjgYTjgZrjgozjgYsgLT4gWgoKCSRhbnMgPSAwCglOYW5kUGllY2UgPSA0CglOdGJsID0gJXd7IFggWSBjMSBjMiBjMyBjNCB9CgpkZWYgcHJpbnRfbWFwMiggYWIsIHogKQoJcHV0cyBbYWIubWFwe3xufCBOdGJsW25dfSwgImMje3orMX0iXS5qb2luKCcgJykKZW5kCgpkZWYgcHJpbnRfbWFwKCBhYiwgeiApCgljaEFCID0gJXd7IGEgYiB9CglhYi5lYWNoX3dpdGhfaW5kZXh7fG4saXwKCQltLCBhID0gaS5kaXZtb2QoMikKCQlwdXRzICIgJTNzIC0+ICVzJWQiICUgWyBOdGJsW25dLCBjaEFCW2FdLCBtKzEgXQoJfQoJcHV0cyAiICBjI3t6KzF9IC0+IFpcblxuIgplbmQKCgpkZWYgY2hlY2soIGFiICkKCXJldHVybiBmYWxzZQl1bmxlc3MgYWIuaW5kZXgoMCkgJiYgYWIuaW5kZXgoMSkJIyBYLFkg5YWl5Yqb44KS5L2/44KP44Gq44GE54mp44Gv5p6d5YiI44KKCgljbnVtID0gWzBdICogTmFuZFBpZWNlCSMg5Ye65Yqb44OT44OD44OI44OG44O844OW44OrIGYoeCx5KSAtPiBjXwoJMi50aW1lc3t8eHwKCQkyLnRpbWVze3x5fAoJCQlvYyA9IFsgeCwgeSBdCQkJIyDlh7rlipvlgKQgeCx5LGMxLi5jNAoJCQlmYyA9IFsgdHJ1ZSwgdHJ1ZSBdCQkjIOWHuuWKm+eiuuWumuODleODqeOCsCB4LHksYzEuLmM0CgkJCW5uID0gTmFuZFBpZWNlCQkJIyDmnKrnorrlrprmlbAKCQkJTmFuZFBpZWNlLnRpbWVzewoJCQkJTmFuZFBpZWNlLnRpbWVze3xjbnwKCQkJCQluZXh0CWlmIGZjWyBjbisyIF0KCQkJCQlhLCBiID0gYWJbMipjbl0sIGFiWzIqY24rMV0KCQkJCQluZXh0CXVubGVzcyBmY1thXSAmJiBmY1tiXQoJCQkJCW9jWyBjbisyIF0gPSAob2NbYV0gJiBvY1tiXSkgXiAxCSMgbmFuZAoJCQkJCWZjWyBjbisyIF0gPSB0cnVlCgkJCQkJbm4gLT0gMQoJCQkJfQoJCQkJYnJlYWsJaWYgbm4gPT0gMAoJCQl9CgkJCXJldHVybiBmYWxzZQl1bmxlc3Mgbm4gPT0gMAkJIyDmnp3liIjjgooKCQkJTmFuZFBpZWNlLnRpbWVze3xufAoJCQkJY251bVtuXSA9IChjbnVtW25dIDw8IDEpIHwgb2NbbisyXQoJCQl9CgkJfQoJfQoJY24gPSBjbnVtLmluZGV4KCAwYjAxMTAgKQkjIHhvciDjg5Hjgr/jg7zjg7PmpJzntKIKCXJldHVybiBmYWxzZQl1bmxlc3MgY24KCgkkYW5zICs9IDEKCXByaW50X21hcDIoIGFiLCBjbiApCmVuZAoKCWFiID0gWyAwLDAsIDAsMCwgMCwwLCAwLDAgXQoKZGVmIHNvbHZlKCBhYiwgbiA9IDAgKQoJcmV0dXJuCWlmIG4gPiA3Cglzb2x2ZSggYWIsIG4gKyAxICkKCWNoZWNrKCBhYiApCWlmIG4gPT0gNwoJYWJbbl0gKz0gMQoJYWJbbl0gKz0gMQlpZiBuID4+IDEgPT0gYWJbbl0gLSAyCQkjIOWHuuWKm+OBr+WFpeWKm+OBq+OBpOOBquOBkuOBquOBhCAo5LiA5q6144Gu44Or44O844OX44Gg44GR44OB44Kn44OD44KvKQoJaWYgYWJbbl0gPiA1CgkJYWJbbl0gPSAwCgkJcmV0dXJuCgllbmQKCXNvbHZlKCBhYiwgbiApCmVuZAoKIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjCgoJc29sdmUoIGFiICkKCXB1dHMgIkRvbmUuICN7JGFuc30iCg==

Success #stdin #stdout 2.01s 6864KB

stdin

copy

Standard input is empty

stdout

copy

X Y X c1 Y c1 c2 c3 c4
X Y X c1 Y c1 c3 c2 c4
X Y X c1 c1 Y c2 c3 c4
X Y X c1 c1 Y c3 c2 c4
X Y X c1 c2 c4 Y c1 c3
X Y X c1 c2 c4 c1 Y c3
X Y X c1 c4 c2 Y c1 c3
X Y X c1 c4 c2 c1 Y c3
X Y Y c1 X c1 c2 c3 c4
X Y Y c1 X c1 c3 c2 c4
X Y Y c1 c1 X c2 c3 c4
X Y Y c1 c1 X c3 c2 c4
X Y Y c1 c2 c4 X c1 c3
X Y Y c1 c2 c4 c1 X c3
X Y Y c1 c4 c2 X c1 c3
X Y Y c1 c4 c2 c1 X c3
X Y c1 X Y c1 c2 c3 c4
X Y c1 X Y c1 c3 c2 c4
X Y c1 X c1 Y c2 c3 c4
X Y c1 X c1 Y c3 c2 c4
X Y c1 X c2 c4 Y c1 c3
X Y c1 X c2 c4 c1 Y c3
X Y c1 X c4 c2 Y c1 c3
X Y c1 X c4 c2 c1 Y c3
X Y c1 Y X c1 c2 c3 c4
X Y c1 Y X c1 c3 c2 c4
X Y c1 Y c1 X c2 c3 c4
X Y c1 Y c1 X c3 c2 c4
X Y c1 Y c2 c4 X c1 c3
X Y c1 Y c2 c4 c1 X c3
X Y c1 Y c4 c2 X c1 c3
X Y c1 Y c4 c2 c1 X c3
X Y c3 c4 X c1 Y c1 c2
X Y c3 c4 X c1 c1 Y c2
X Y c3 c4 Y c1 X c1 c2
X Y c3 c4 Y c1 c1 X c2
X Y c3 c4 c1 X Y c1 c2
X Y c3 c4 c1 X c1 Y c2
X Y c3 c4 c1 Y X c1 c2
X Y c3 c4 c1 Y c1 X c2
X Y c4 c3 X c1 Y c1 c2
X Y c4 c3 X c1 c1 Y c2
X Y c4 c3 Y c1 X c1 c2
X Y c4 c3 Y c1 c1 X c2
X Y c4 c3 c1 X Y c1 c2
X Y c4 c3 c1 X c1 Y c2
X Y c4 c3 c1 Y X c1 c2
X Y c4 c3 c1 Y c1 X c2
X c2 X Y Y c2 c1 c3 c4
X c2 X Y Y c2 c3 c1 c4
X c2 X Y c1 c4 Y c2 c3
X c2 X Y c1 c4 c2 Y c3
X c2 X Y c2 Y c1 c3 c4
X c2 X Y c2 Y c3 c1 c4
X c2 X Y c4 c1 Y c2 c3
X c2 X Y c4 c1 c2 Y c3
X c2 Y X Y c2 c1 c3 c4
X c2 Y X Y c2 c3 c1 c4
X c2 Y X c1 c4 Y c2 c3
X c2 Y X c1 c4 c2 Y c3
X c2 Y X c2 Y c1 c3 c4
X c2 Y X c2 Y c3 c1 c4
X c2 Y X c4 c1 Y c2 c3
X c2 Y X c4 c1 c2 Y c3
X c3 Y c3 X Y c1 c2 c4
X c3 Y c3 X Y c2 c1 c4
X c3 Y c3 Y X c1 c2 c4
X c3 Y c3 Y X c2 c1 c4
X c3 c1 c4 X Y Y c3 c2
X c3 c1 c4 X Y c3 Y c2
X c3 c1 c4 Y X Y c3 c2
X c3 c1 c4 Y X c3 Y c2
X c3 c3 Y X Y c1 c2 c4
X c3 c3 Y X Y c2 c1 c4
X c3 c3 Y Y X c1 c2 c4
X c3 c3 Y Y X c2 c1 c4
X c3 c4 c1 X Y Y c3 c2
X c3 c4 c1 X Y c3 Y c2
X c3 c4 c1 Y X Y c3 c2
X c3 c4 c1 Y X c3 Y c2
X c4 Y c4 c1 c2 X Y c3
X c4 Y c4 c1 c2 Y X c3
X c4 Y c4 c2 c1 X Y c3
X c4 Y c4 c2 c1 Y X c3
X c4 c1 c3 Y c4 X Y c2
X c4 c1 c3 Y c4 Y X c2
X c4 c1 c3 c4 Y X Y c2
X c4 c1 c3 c4 Y Y X c2
X c4 c3 c1 Y c4 X Y c2
X c4 c3 c1 Y c4 Y X c2
X c4 c3 c1 c4 Y X Y c2
X c4 c3 c1 c4 Y Y X c2
X c4 c4 Y c1 c2 X Y c3
X c4 c4 Y c1 c2 Y X c3
X c4 c4 Y c2 c1 X Y c3
X c4 c4 Y c2 c1 Y X c3
Y X X c1 Y c1 c2 c3 c4
Y X X c1 Y c1 c3 c2 c4
Y X X c1 c1 Y c2 c3 c4
Y X X c1 c1 Y c3 c2 c4
Y X X c1 c2 c4 Y c1 c3
Y X X c1 c2 c4 c1 Y c3
Y X X c1 c4 c2 Y c1 c3
Y X X c1 c4 c2 c1 Y c3
Y X Y c1 X c1 c2 c3 c4
Y X Y c1 X c1 c3 c2 c4
Y X Y c1 c1 X c2 c3 c4
Y X Y c1 c1 X c3 c2 c4
Y X Y c1 c2 c4 X c1 c3
Y X Y c1 c2 c4 c1 X c3
Y X Y c1 c4 c2 X c1 c3
Y X Y c1 c4 c2 c1 X c3
Y X c1 X Y c1 c2 c3 c4
Y X c1 X Y c1 c3 c2 c4
Y X c1 X c1 Y c2 c3 c4
Y X c1 X c1 Y c3 c2 c4
Y X c1 X c2 c4 Y c1 c3
Y X c1 X c2 c4 c1 Y c3
Y X c1 X c4 c2 Y c1 c3
Y X c1 X c4 c2 c1 Y c3
Y X c1 Y X c1 c2 c3 c4
Y X c1 Y X c1 c3 c2 c4
Y X c1 Y c1 X c2 c3 c4
Y X c1 Y c1 X c3 c2 c4
Y X c1 Y c2 c4 X c1 c3
Y X c1 Y c2 c4 c1 X c3
Y X c1 Y c4 c2 X c1 c3
Y X c1 Y c4 c2 c1 X c3
Y X c3 c4 X c1 Y c1 c2
Y X c3 c4 X c1 c1 Y c2
Y X c3 c4 Y c1 X c1 c2
Y X c3 c4 Y c1 c1 X c2
Y X c3 c4 c1 X Y c1 c2
Y X c3 c4 c1 X c1 Y c2
Y X c3 c4 c1 Y X c1 c2
Y X c3 c4 c1 Y c1 X c2
Y X c4 c3 X c1 Y c1 c2
Y X c4 c3 X c1 c1 Y c2
Y X c4 c3 Y c1 X c1 c2
Y X c4 c3 Y c1 c1 X c2
Y X c4 c3 c1 X Y c1 c2
Y X c4 c3 c1 X c1 Y c2
Y X c4 c3 c1 Y X c1 c2
Y X c4 c3 c1 Y c1 X c2
Y c2 X Y X c2 c1 c3 c4
Y c2 X Y X c2 c3 c1 c4
Y c2 X Y c1 c4 X c2 c3
Y c2 X Y c1 c4 c2 X c3
Y c2 X Y c2 X c1 c3 c4
Y c2 X Y c2 X c3 c1 c4
Y c2 X Y c4 c1 X c2 c3
Y c2 X Y c4 c1 c2 X c3
Y c2 Y X X c2 c1 c3 c4
Y c2 Y X X c2 c3 c1 c4
Y c2 Y X c1 c4 X c2 c3
Y c2 Y X c1 c4 c2 X c3
Y c2 Y X c2 X c1 c3 c4
Y c2 Y X c2 X c3 c1 c4
Y c2 Y X c4 c1 X c2 c3
Y c2 Y X c4 c1 c2 X c3
Y c3 X c3 X Y c1 c2 c4
Y c3 X c3 X Y c2 c1 c4
Y c3 X c3 Y X c1 c2 c4
Y c3 X c3 Y X c2 c1 c4
Y c3 c1 c4 X Y X c3 c2
Y c3 c1 c4 X Y c3 X c2
Y c3 c1 c4 Y X X c3 c2
Y c3 c1 c4 Y X c3 X c2
Y c3 c3 X X Y c1 c2 c4
Y c3 c3 X X Y c2 c1 c4
Y c3 c3 X Y X c1 c2 c4
Y c3 c3 X Y X c2 c1 c4
Y c3 c4 c1 X Y X c3 c2
Y c3 c4 c1 X Y c3 X c2
Y c3 c4 c1 Y X X c3 c2
Y c3 c4 c1 Y X c3 X c2
Y c4 X c4 c1 c2 X Y c3
Y c4 X c4 c1 c2 Y X c3
Y c4 X c4 c2 c1 X Y c3
Y c4 X c4 c2 c1 Y X c3
Y c4 c1 c3 X c4 X Y c2
Y c4 c1 c3 X c4 Y X c2
Y c4 c1 c3 c4 X X Y c2
Y c4 c1 c3 c4 X Y X c2
Y c4 c3 c1 X c4 X Y c2
Y c4 c3 c1 X c4 Y X c2
Y c4 c3 c1 c4 X X Y c2
Y c4 c3 c1 c4 X Y X c2
Y c4 c4 X c1 c2 X Y c3
Y c4 c4 X c1 c2 Y X c3
Y c4 c4 X c2 c1 X Y c3
Y c4 c4 X c2 c1 Y X c3
c2 X X Y Y c2 c1 c3 c4
c2 X X Y Y c2 c3 c1 c4
c2 X X Y c1 c4 Y c2 c3
c2 X X Y c1 c4 c2 Y c3
c2 X X Y c2 Y c1 c3 c4
c2 X X Y c2 Y c3 c1 c4
c2 X X Y c4 c1 Y c2 c3
c2 X X Y c4 c1 c2 Y c3
c2 X Y X Y c2 c1 c3 c4
c2 X Y X Y c2 c3 c1 c4
c2 X Y X c1 c4 Y c2 c3
c2 X Y X c1 c4 c2 Y c3
c2 X Y X c2 Y c1 c3 c4
c2 X Y X c2 Y c3 c1 c4
c2 X Y X c4 c1 Y c2 c3
c2 X Y X c4 c1 c2 Y c3
c2 Y X Y X c2 c1 c3 c4
c2 Y X Y X c2 c3 c1 c4
c2 Y X Y c1 c4 X c2 c3
c2 Y X Y c1 c4 c2 X c3
c2 Y X Y c2 X c1 c3 c4
c2 Y X Y c2 X c3 c1 c4
c2 Y X Y c4 c1 X c2 c3
c2 Y X Y c4 c1 c2 X c3
c2 Y Y X X c2 c1 c3 c4
c2 Y Y X X c2 c3 c1 c4
c2 Y Y X c1 c4 X c2 c3
c2 Y Y X c1 c4 c2 X c3
c2 Y Y X c2 X c1 c3 c4
c2 Y Y X c2 X c3 c1 c4
c2 Y Y X c4 c1 X c2 c3
c2 Y Y X c4 c1 c2 X c3
c2 c3 X c4 Y c4 X Y c1
c2 c3 X c4 Y c4 Y X c1
c2 c3 X c4 c4 Y X Y c1
c2 c3 X c4 c4 Y Y X c1
c2 c3 Y c4 X c4 X Y c1
c2 c3 Y c4 X c4 Y X c1
c2 c3 Y c4 c4 X X Y c1
c2 c3 Y c4 c4 X Y X c1
c2 c3 c4 X Y c4 X Y c1
c2 c3 c4 X Y c4 Y X c1
c2 c3 c4 X c4 Y X Y c1
c2 c3 c4 X c4 Y Y X c1
c2 c3 c4 Y X c4 X Y c1
c2 c3 c4 Y X c4 Y X c1
c2 c3 c4 Y c4 X X Y c1
c2 c3 c4 Y c4 X Y X c1
c2 c4 X c3 X Y Y c3 c1
c2 c4 X c3 X Y c3 Y c1
c2 c4 X c3 Y X Y c3 c1
c2 c4 X c3 Y X c3 Y c1
c2 c4 Y c3 X Y X c3 c1
c2 c4 Y c3 X Y c3 X c1
c2 c4 Y c3 Y X X c3 c1
c2 c4 Y c3 Y X c3 X c1
c2 c4 c3 X X Y Y c3 c1
c2 c4 c3 X X Y c3 Y c1
c2 c4 c3 X Y X Y c3 c1
c2 c4 c3 X Y X c3 Y c1
c2 c4 c3 Y X Y X c3 c1
c2 c4 c3 Y X Y c3 X c1
c2 c4 c3 Y Y X X c3 c1
c2 c4 c3 Y Y X c3 X c1
c3 X Y c3 X Y c1 c2 c4
c3 X Y c3 X Y c2 c1 c4
c3 X Y c3 Y X c1 c2 c4
c3 X Y c3 Y X c2 c1 c4
c3 X c1 c4 X Y Y c3 c2
c3 X c1 c4 X Y c3 Y c2
c3 X c1 c4 Y X Y c3 c2
c3 X c1 c4 Y X c3 Y c2
c3 X c3 Y X Y c1 c2 c4
c3 X c3 Y X Y c2 c1 c4
c3 X c3 Y Y X c1 c2 c4
c3 X c3 Y Y X c2 c1 c4
c3 X c4 c1 X Y Y c3 c2
c3 X c4 c1 X Y c3 Y c2
c3 X c4 c1 Y X Y c3 c2
c3 X c4 c1 Y X c3 Y c2
c3 Y X c3 X Y c1 c2 c4
c3 Y X c3 X Y c2 c1 c4
c3 Y X c3 Y X c1 c2 c4
c3 Y X c3 Y X c2 c1 c4
c3 Y c1 c4 X Y X c3 c2
c3 Y c1 c4 X Y c3 X c2
c3 Y c1 c4 Y X X c3 c2
c3 Y c1 c4 Y X c3 X c2
c3 Y c3 X X Y c1 c2 c4
c3 Y c3 X X Y c2 c1 c4
c3 Y c3 X Y X c1 c2 c4
c3 Y c3 X Y X c2 c1 c4
c3 Y c4 c1 X Y X c3 c2
c3 Y c4 c1 X Y c3 X c2
c3 Y c4 c1 Y X X c3 c2
c3 Y c4 c1 Y X c3 X c2
c3 c2 X c4 Y c4 X Y c1
c3 c2 X c4 Y c4 Y X c1
c3 c2 X c4 c4 Y X Y c1
c3 c2 X c4 c4 Y Y X c1
c3 c2 Y c4 X c4 X Y c1
c3 c2 Y c4 X c4 Y X c1
c3 c2 Y c4 c4 X X Y c1
c3 c2 Y c4 c4 X Y X c1
c3 c2 c4 X Y c4 X Y c1
c3 c2 c4 X Y c4 Y X c1
c3 c2 c4 X c4 Y X Y c1
c3 c2 c4 X c4 Y Y X c1
c3 c2 c4 Y X c4 X Y c1
c3 c2 c4 Y X c4 Y X c1
c3 c2 c4 Y c4 X X Y c1
c3 c2 c4 Y c4 X Y X c1
c3 c4 X Y X c2 Y c2 c1
c3 c4 X Y X c2 c2 Y c1
c3 c4 X Y Y c2 X c2 c1
c3 c4 X Y Y c2 c2 X c1
c3 c4 X Y c2 X Y c2 c1
c3 c4 X Y c2 X c2 Y c1
c3 c4 X Y c2 Y X c2 c1
c3 c4 X Y c2 Y c2 X c1
c3 c4 Y X X c2 Y c2 c1
c3 c4 Y X X c2 c2 Y c1
c3 c4 Y X Y c2 X c2 c1
c3 c4 Y X Y c2 c2 X c1
c3 c4 Y X c2 X Y c2 c1
c3 c4 Y X c2 X c2 Y c1
c3 c4 Y X c2 Y X c2 c1
c3 c4 Y X c2 Y c2 X c1
c4 X Y c4 c1 c2 X Y c3
c4 X Y c4 c1 c2 Y X c3
c4 X Y c4 c2 c1 X Y c3
c4 X Y c4 c2 c1 Y X c3
c4 X c1 c3 Y c4 X Y c2
c4 X c1 c3 Y c4 Y X c2
c4 X c1 c3 c4 Y X Y c2
c4 X c1 c3 c4 Y Y X c2
c4 X c3 c1 Y c4 X Y c2
c4 X c3 c1 Y c4 Y X c2
c4 X c3 c1 c4 Y X Y c2
c4 X c3 c1 c4 Y Y X c2
c4 X c4 Y c1 c2 X Y c3
c4 X c4 Y c1 c2 Y X c3
c4 X c4 Y c2 c1 X Y c3
c4 X c4 Y c2 c1 Y X c3
c4 Y X c4 c1 c2 X Y c3
c4 Y X c4 c1 c2 Y X c3
c4 Y X c4 c2 c1 X Y c3
c4 Y X c4 c2 c1 Y X c3
c4 Y c1 c3 X c4 X Y c2
c4 Y c1 c3 X c4 Y X c2
c4 Y c1 c3 c4 X X Y c2
c4 Y c1 c3 c4 X Y X c2
c4 Y c3 c1 X c4 X Y c2
c4 Y c3 c1 X c4 Y X c2
c4 Y c3 c1 c4 X X Y c2
c4 Y c3 c1 c4 X Y X c2
c4 Y c4 X c1 c2 X Y c3
c4 Y c4 X c1 c2 Y X c3
c4 Y c4 X c2 c1 X Y c3
c4 Y c4 X c2 c1 Y X c3
c4 c2 X c3 X Y Y c3 c1
c4 c2 X c3 X Y c3 Y c1
c4 c2 X c3 Y X Y c3 c1
c4 c2 X c3 Y X c3 Y c1
c4 c2 Y c3 X Y X c3 c1
c4 c2 Y c3 X Y c3 X c1
c4 c2 Y c3 Y X X c3 c1
c4 c2 Y c3 Y X c3 X c1
c4 c2 c3 X X Y Y c3 c1
c4 c2 c3 X X Y c3 Y c1
c4 c2 c3 X Y X Y c3 c1
c4 c2 c3 X Y X c3 Y c1
c4 c2 c3 Y X Y X c3 c1
c4 c2 c3 Y X Y c3 X c1
c4 c2 c3 Y Y X X c3 c1
c4 c2 c3 Y Y X c3 X c1
c4 c3 X Y X c2 Y c2 c1
c4 c3 X Y X c2 c2 Y c1
c4 c3 X Y Y c2 X c2 c1
c4 c3 X Y Y c2 c2 X c1
c4 c3 X Y c2 X Y c2 c1
c4 c3 X Y c2 X c2 Y c1
c4 c3 X Y c2 Y X c2 c1
c4 c3 X Y c2 Y c2 X c1
c4 c3 Y X X c2 Y c2 c1
c4 c3 Y X X c2 c2 Y c1
c4 c3 Y X Y c2 X c2 c1
c4 c3 Y X Y c2 c2 X c1
c4 c3 Y X c2 X Y c2 c1
c4 c3 Y X c2 X c2 Y c1
c4 c3 Y X c2 Y X c2 c1
c4 c3 Y X c2 Y c2 X c1
Done. 384

https://ideone.com/KV5X5c

xor v2

language:

Ruby (ruby 2.5.5)

created:

visibility:

public

Share or Embed source code

Discover > Sphere Engine API

The brand new service which powers Ideone!

Discover > IDE Widget

Widget for compiling and running the source code in a web browser!

Discover > Sphere Engine API

Discover > IDE Widget

Choose your language