boolean_closure (97B)
1 # Boolean closure 2 3 closure under [boolean_operators] 4 5 Up: [logic] 6 7 See also: [closure_operation]