**Describe the bug** Stop checking conjunction and disjunction when first true or false is found
Describe the bug
Stop checking conjunction and disjunction when first true or false is found