A Solver for Propositional Logic using a technique called Semantic Tableaux. This works by converting a propositional phrase into disjunction normal form and then constructing a tree based on satisfiability. Key featurse include : Truth Table generation- Parse Tree- PDF containing all elements that are generated (parse tree, semantic proof and truth table)- Ability to stop the search once a solution is found during the semantic proof finder

Semantic Tableaux Solver For Propositional Logic alternatives

Hushed Second Phone Number

Were pleased to release our biggest app update ever Weve spent over 1 year developing new, privacy-first features, designing a new UI, and making improvements to our core private phone number service. Continue reading to find out why Hushed is the best app for adding a second number to your phone for private chat messages, texting and calling. Download Hushed and get your free new number now Privacy policy: http://hushed.com/about-us/privacy/TOS: http://www.hushed.com/tos

i-Ruler

FREE for limited time - Number 1 FREE app by Mashable -Simply measure length in cm or inches using your iPhone or iPod-touch. The most comfortable and easy to use ruler for your iPhone, See screenshots or just download and try it for FREE #1 - Ruler app on more countries than we can count with more than 4 MILLION happy users worldwide Just put your finger on the screen and slide your iPhone. If you have problems with the application please use the application support otherwise we cannot contact you to understand the problem.Customer Review:SuperBest free ruler app around Love It Absolutely love that app The best ruler I know Amazing Should be built-in with the iPhone

  • rating 2.71429
  • size 41.5 MB

Calculator #

Over 4,500,000 Downloads Worldwide Top Free Utilities Apps in US, UK, AUS, CAN, GER, Rated & Reviewed on ILoveFreeSoftware.comFREE Alternative to Graphing TI-83, TI-84, TI-89, Casio FX, Sharp EL,Calculator # The free, multi-function calculator for iPhone/iPad is proud to offer a variety of features to satisfy wide ranges of customers: The App possesses a powerful math core and algebra engine with mathematical display support, making it a viable tool for everyone from those looking for basic calculation to more advanced users, such as scientific computation, engineers, and math students. Calculator # makes available everything you need including a user manual and tutorial video clips so you can master the app in a matter of minutes Official Website: http://iPhoneCalculator.com GENERAL FEATURES: Universal Calculator App Support All the Latest Devices Support Multitasking (iPad) Support Wireless KB Mathematical Display Edit & Export Expression/Result History Tape View Basic Calculations (+, -, x, , %, Abs,) Advanced Functions (Sin,Cos,Ln,X , ^, ,) 14 Memory Variables (Including X,Y,Z,M) Assignment Operator F(x) Customize Functions (F1 Only) Fraction and Degree/Angle Calculation Numeric Integral Calculation Dual Skins (Silver Light & Carbon+) ALGEBRA FEATURES: Big Integer & Rational Number (Up to 30 ) Expand and Factor Polynomials Basic Indefinite integral EQUATIONS SOLVERS: Quadratic Equations System of Linear Equations (2 Unknowns) 2D GRAPH: Snap to Points Smooth Zoom & Transformation MULTIPLE LANGUAGES: English, Spanish, German, French, Japanese, Chinese: Include iPhone 6/6S+ HD Retina Display: Standard English KBWe love your feedback, Thanks a lot

  • rating 4.71739
  • size 86.6 MB

Gboard

Gboard is a new keyboard from Google for your iPhone. It has all the things you would expect from a great keyboard GIFs, emojis, and Glide Typing plus Google Search built in. None of these queries are sent to Google.

  • rating 2.34043

myAT&T

Theres a faster way with our cleaner and more modern look. Get more done with the myAT&T app. Recover your User ID and reset your password View U-verse voice and television usage Reset your wireless voicemail password Set customized usage alerts for wireless accounts Manage U-verse technician appointments Move U-verse service Get help for your AT&T servicesShop: Find AT&T store locations and schedule appointments Shop in the app, and then stop by your local AT&T store to pick up your productsmyAT&T requires an active AT&T account that is registered for online account management.myAT&T does not support Premier business accounts or GoPhone/Prepaid accounts.

  • rating 4.338
  • size 75.8 MB