a := proc(bool)
	printf("a is called->%s\n", bool):
	return bool:
end proc:
b := proc(bool)
	printf("b is called->%s\n", bool):
	return bool:
end proc:
for i in [true, false] do
	for j in [true, false] do
		printf("calculating	x := a(i) and b(j)\n"):
		x := a(i) and b(j):
		printf("calculating	x := a(i) or b(j)\n"):
		y := a(i) or  b(j):
	od:
od: