CVar Function
ααααααβααααααβααααβα’αααα α¬βααααααβαααβαα βααΆβααααααβαααΆααααααΒ α
ααΆαααβααααααα α
CVar(αααααα)
αααααβαααα‘αα α
αααΆααααααΒ α
αααΆαααΆαααααα α
ααααααΒ α ααααααβααααβα’αααα α¬βααααααβαααβαααβα’αααβα ααβααααααΒ α