Assertion: boolean algebra's value | /r/HasProperty | a ∨ ¬ a
Facets:
Source sentences:
text: Value [ A ∨ ¬ A ] =