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 入力を使わない物は枝刈り
	fc = [ true, true ]		# 出力確定フラグ x,y,c1..c4
	nn = NandPiece			# 未確定数
	oc = [ 0b1010, 0b1100 ]		# 出力値(x,y)(00, 10, 01, 11) c1..c4
	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] ^ 0b1111	# nand
			fc[ cn+2 ] = true
			nn -= 1
		}
		break	if nn == 0
	}
	return false	unless nn == 0
	cn = oc.rindex( 0b0110 )	# xor パターン検索
	return false	unless cn	# unless cn && cn >= 2; として x,y を排除するのは蛇足
 
	$ans += 1
	print_map2( ab, cn-2 )
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+IFpcblxuIgplbmQKCmRlZiBjaGVjayggYWIgKQoJcmV0dXJuIGZhbHNlCXVubGVzcyBhYi5pbmRleCgwKSAmJiBhYi5pbmRleCgxKQkjIFgsWSDlhaXlipvjgpLkvb/jgo/jgarjgYTnianjga/mnp3liIjjgooKCWZjID0gWyB0cnVlLCB0cnVlIF0JCSMg5Ye65Yqb56K65a6a44OV44Op44KwIHgseSxjMS4uYzQKCW5uID0gTmFuZFBpZWNlCQkJIyDmnKrnorrlrprmlbAKCW9jID0gWyAwYjEwMTAsIDBiMTEwMCBdCQkjIOWHuuWKm+WApCh4LHkpKDAwLCAxMCwgMDEsIDExKSBjMS4uYzQKCU5hbmRQaWVjZS50aW1lc3sKCQlOYW5kUGllY2UudGltZXN7fGNufAoJCQluZXh0CWlmIGZjWyBjbisyIF0KCQkJYSwgYiA9IGFiWzIqY25dLCBhYlsyKmNuKzFdCgkJCW5leHQJdW5sZXNzIGZjW2FdICYmIGZjW2JdCgkJCW9jWyBjbisyIF0gPSBvY1thXSAmIG9jW2JdIF4gMGIxMTExCSMgbmFuZAoJCQlmY1sgY24rMiBdID0gdHJ1ZQoJCQlubiAtPSAxCgkJfQoJCWJyZWFrCWlmIG5uID09IDAKCX0KCXJldHVybiBmYWxzZQl1bmxlc3Mgbm4gPT0gMAoJY24gPSBvYy5yaW5kZXgoIDBiMDExMCApCSMgeG9yIOODkeOCv+ODvOODs+aknOe0ogoJcmV0dXJuIGZhbHNlCXVubGVzcyBjbgkjIHVubGVzcyBjbiAmJiBjbiA+PSAyOyDjgajjgZfjgaYgeCx5IOOCkuaOkumZpOOBmeOCi+OBruOBr+ibh+i2swoKCSRhbnMgKz0gMQoJcHJpbnRfbWFwMiggYWIsIGNuLTIgKQplbmQKCglhYiA9IFsgMCwwLCAwLDAsIDAsMCwgMCwwIF0KCmRlZiBzb2x2ZSggYWIsIG4gPSAwICkKCXJldHVybglpZiBuID4gNwoJc29sdmUoIGFiLCBuICsgMSApCgljaGVjayggYWIgKQlpZiBuID09IDcKCWFiW25dICs9IDEKCWFiW25dICs9IDEJaWYgbiA+PiAxID09IGFiW25dIC0gMgkJIyDlh7rlipvjga/lhaXlipvjgavjgaTjgarjgZLjgarjgYQgKOS4gOauteOBruODq+ODvOODl+OBoOOBkeODgeOCp+ODg+OCrykKCWlmIGFiW25dID4gNQoJCWFiW25dID0gMAoJCXJldHVybgoJZW5kCglzb2x2ZSggYWIsIG4gKQplbmQKCiMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIwoKCXNvbHZlKCBhYiApCglwdXRzICJEb25lLiAjeyRhbnN9Igo=

Success #stdin #stdout 0.91s 6792KB

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/3qXvX8

xor 4bit

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