Kryptologic: A Discrete Mathematics Gamified Educational Card Game
Sample game play. Same as Krypto (see https://en.wikipedia.org/wiki/Krypto_(game)), player has to use the values (T/F) and the given logical operators to arrive at the target solution given by the card marked with yellow.
Example of Krypto AI solution.