Logic Coverage Web Application

Please enter your logic expression in the text box below, using the following logic operators. The variables can be any string. Parentheses can be used in the logic expression. (Please be aware that this application gets slow for expressions that have more than 5 or 6 variables.)
Not : ! And : & Or : |
Implication : > Exclusive Or : ^ Equivalence : =
P =
Test Requirements:
Tests:        
Others:      
Share Expression:  

Companion software
to Introduction to Software Testing, Ammann and Offutt.
Implementation by Wuzhi Xu, Nan Li, and Lin Deng.
© 2007-2017, all rights reserved.
Last update: 05-May-2017