You have multiple cards for this variable. Pick the truth value:
A CNF formula with 4 clauses is displayed. Each card maps to a Boolean variable (p, q, r) by rank. Red cards = TRUE, Black = FALSE.
Your logic score = number of satisfied clauses (0-4). Beat the dealer's score to win.
VARIABLE MAPPING
Rank mod 3: A,4,7,10,K → p ·
2,5,8,J → q · 3,6,9,Q → r
Red
(♥♦) = TRUE · Black (♠♣) = FALSE
| Result | Payout |
|---|---|
| Full Satisfaction (4/4) & higher | 2:1 |
| Higher logic score | 1:1 |
| Tie | Push |
| Lower score | -ante |
| Fold | -½ ante |
ACTIONS
BET raise your wager. FOLD forfeit half ante. NEGATE flip one card's truth value (costs ante, once). REWRITE reformulate the formula equivalently (costs ante, once).
SIDE BETS
| Bet | Condition | Pay |
|---|---|---|
| TAUT | Formula is a tautology | 100:1 |
| EXCL | All variables differ | 6:1 |
| CONTRA | Contrapositive vacuously true | 3:1 |
DEALER RULES
Dealer reveals cards progressively. Always plays the strongest assignment. Qualifies if score ≥ 2.
Your balance hit zero. Time to reload.
(p ∨ ¬q) ∧ (¬r ∨ q)