Assertion: boolean algebra | /r/CapableOf | deal with variable
Facets:
Source sentences:
text: It deals with variables that can have two discrete values, 0 (False) and 1 (True); and operations that have logical significance.