A puzzle game for iOS based on Karnaugh's manual method of simplifying boolean expressions. An implementation of the Quine-McCluskey simplification algorithm is provided.

Link to extended abstract describing the modified algorithm: https://www.slideshare.net/slideshow/embed_code/key/sXklhWvG2PBqO

• Install and run on macOS with XCode.app
• Press 'Start'
• Select number of variables, either AB, ABC, ABCD, and a difficulty.
• Tap and drag the mouse to select squares in multiples of two.
• To wrap around to the other table, tab and drag above or below the square and drag the mouse over the desired sister squares.
• Press 'Check' to validate the solution.

• Install XCode.app from the App Store
• Open Terminal.app in Applications > Utilities > Terminal.app
• Install Developer Tools by typing gcc and accepting the installation prompts. gcc
• Clone this repository

  mkdir respositories
  cd repositories
  git clone https://github.com/lexlevi17/karnau
  cd karnau
  

• Install Cocoapods with sudo gem install cocoapods
• enter admin password
• Install app dependencies with pod install
• Open './KK.xcworkspace' with XCode.app
• Build with the play button in the upper left hand corner