Logic Coverage Web Application

Please enter your logic expression in the text box below, using the following logic operators. The variables can be any letter. 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:    

Companion software
to Introduction to Software Testing, Ammann and Offutt.
Implementation by Wuzhi Xu and Nan Li.
© 2007-2009, all rights reserved.
Last update: 24-August-2009