function rc(x)
if(x==2)
print("AB容斥:A∪B=A+B-A∩B\n")
print("AB容斥:A∪B=A+(B-A∩B)\n")
print("AB容斥:A∪B=(A-A∩B)+B\n")
variable bj=input("属于A并B的集合bj:")
variable a=input("属于A的集合总数a:")
variable b=input("属于B的集合总数b:")
variable jj=input("属于A交B的集合jj:")
variable ay=input("只属于A的集合ay:")
variable by=input("只属于B的集合by:")
variable j1
if(jj!="x")
j1=jj
elseif(jj=="x")
j1=a+b-bj
endif
select ay
case "x"
print("ay="+(a-j1)+"\n")
ends
select by
case "x"
print("by="+(b-j1)+"\n")
ends
return rcq2(bj,a,b,jj)
endif
if(x==3)
print("AB容斥:A∪B∪C=A+B+C-A∩B-B∩C-C∩A+A∩B∩C\n")
variable b3=input("属于A并B并C的集合b3:")
variable a=input("属于A的集合总数a:")
variable b=input("属于B的集合总数b:")
variable c=input("属于C的集合总数c:")
variable jab=input("属于A交B的集合jab:")
variable jbc=input("属于B交C的集合jbc:")
variable jca=input("属于C交A的集合jca:")
variable j3=input("属于A交B交C的集合j3:")
return rcq3(b3,a,b,c,jab,jbc,jca,j3)
endif
if(x==31)
print("AB容斥:A∪B∪C=(3白之和)+(3灰之和)+(1黑)\n")
variable d=input("总数:")
variable a=input("3白之和:")
variable b=input("3灰之和:")
variable c=input("1黑:")
return rcq31(d,a,b,c)
endif
if(x==32)
print("AB容斥:A∪B∪C=(3集数之和)-(3灰之和)-2*(1黑)\n")
variable d=input("总数:")
variable a=input("3集数之和:")
variable b=input("3灰之和:")
variable c=input("1黑:")
return rcq32(d,a,b,c)
endif
endf
function rcq31(d,a,b,c)
select d
case "x"
return a+b+c
ends
select a
case "x"
return d-b-c
ends
select b
case "x"
return d-a-c
ends
select c
case "x"
return d-b-a
ends
endf
function rcq32(d,a,b,c)
select d
case "x"
return a-b-2*c
ends
select a
case "x"
return d+b+2*c
ends
select b
case "x"
return a-d-2*c
ends
select c
case "x"
return 0.5*(a-d-b)
ends
endf
function rcq2(bj,a,b,jj)
select bj
case "x"
return a+b-jj
ends
select a
case "x"
return bj+jj-b
ends
select b
case "x"
return bj+jj-a
ends
select jj
case "x"
return a+b-bj
ends
endf
function rcq3(b3,a,b,c,jab,jbc,jca,j3)
select a
case "x"
return b3-j3+jca+jbc+jab-b-c
ends
select b
case "x"
return b3-j3+jca+jbc+jab-a-c
ends
select c
case "x"
return b3-j3+jca+jbc+jab-b-a
ends
select jab
case "x"
return b3-j3+jca+jbc-a-b-c
ends
select jbc
case "x"
return b3-j3+jca+jab-a-b-c
ends
select jca
case "x"
return b3-j3+jab+jbc-a-b-c
ends
select j3
case "x"
return b3+jab+jca+jbc-a-b-c
ends
select b3
case "x"
return j3-jab-jca-jbc+a+b+c
ends
endf

http://wapwenku.baidu.com/view/abdb93f80242a8956bece4fd.html?ssid=0&from=1000950l&uid=0&pu=usm@1,sz@1320_1001,ta@iphone_2_5.1_3_537&bd_page_type=1&baiduid=0B460D34A6C1BE044FA9EE9A5FBDEF62&tj=wenkuala_1_0_10_l2#1