Sensitive test data for logic expressions

INTRODUCTION The usual approach to testing software with logic expression s considers that n variables can realize 2-C2-n) functions. Therefore, to distinguish one Boolean expression in n variable s (a "correct" one) from all others ("errors") 2-n tests ar e necessary .