# Zweimal würfeln

## Problembeschreibung

******************************************
Dokumentnummer: D1322
******************************************

Beim zweimaligen Werfen eines Würfels sollen folgende Ereignisse
als Mengen dargestellt werden:
A: Augensumme 10
B: Augensumme <=5
C: Augensumme gerade
D: Augensumme 7 oder 10
E: Augensumme zwischen 3 und 9
F: Augenzahl beim 2. Wurf um 1 oder 2 höher als beim ersten Wurf

## Problemlösung

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

S:cartesian_product(W,W);

A:subset(S,lambda([e],is(e[1]+e[2]=10)));

B:subset(S,lambda([e],is(e[1]+e[2]<=5)));

C:subset(S,lambda([e],is(mod(e[1]+e[2],2)=0)));

D:subset(S,lambda([e],is(e[1]+e[2]=7 or e[1]+e[2]=10)));

E:subset(S,lambda([e],is(e[1]+e[2]>=3 and e[1]+e[2]<=9)));

F:subset(S,lambda([e],is(e[2]=e[1]+1 or e[2]=e[1]+2)));