# Viermal würfeln

## Problembeschreibung

******************************************
Dokumentnummer: D1339
******************************************

Das Ereignis: "mindestens ein Sechser wird geworfen"

## Problemlösung

W:{1,2,3,4,5,6};

S:cartesian_product(W,W,W,W);

A:subset(S,lambda([e],is(member(6,e))));

B:subset(S,lambda([e],is(e[1]=6 or e[2]=6 or e[3]=6 or e[4]=6)));

W[A]:cardinality(A)/cardinality(S);

W[B]:cardinality(B)/cardinality(S);

n:4;

p:1/6;

W(k):=binomial(n,k)*p**k*(1-p)**(n-k);

1-W(0);

sum(W(k),k,1,4);