[AI4-5-3] Boolean logic

Maybe in BoK: Check

Introduction

AM2-1Set theory mentions this concept

Outgoing relations