[GC3-9-4-2] Boolean logic

Maybe in BoK: Check

Introduction

[AI4-5-3] 

AM2-1Set theory mentions this concept

Outgoing relations