 The analysis of Nash equilibria in Boolean game shows a close correspondence between these games and propositional logic: using a reduction to the satisfiability problem of propositional logic formulas, the problem of checking whether an outcome \(v\) is a Nash equilibrium of a Boolean game is co-NP complete (Wooldridge, Endriss, Kraus, &amp; Lang 2013).