>> Choose Game Options
Game Style:
>> Enter the Formula(s)
Another Formula:

Use the following characters:

"&"for (min) conjunction
"&&"for strong conjunction
"|"for (max) disjunction
"||"for strong disjunction
"->"for implication
"-"for negation
[a-z]for atoms
"0"for Falsum
"1"for Verum
"(",")"to group expressions
Note: implication is associative to the right.

>> Enter Atom Valuations
Please enter valuations (=success probabilities) for the following atoms:
>> Start a Dialogue

Your tenet: My tenet:
Available moves:
Your Actions:
My Actions:

No more Actions left; Game is finished.

>> Evaluate

Dispersive binary experiments: