formal logic
preferred label: منطق صوری @fa
type: Concept
related: Boolean algebra

Boolean algebra
type: Concept
related: switching theory
related: set theory
related: formal logic
preferred label: جبر بولی @fa
broader: algebra
alternative label: Boolean lattices
narrower: Boolean function

algebra
preferred label: جبر @fa
type: Concept
narrower: Boolean algebra

switching theory
preferred label: نظریه سودهی @fa
type: Concept
related: Boolean algebra

Boolean function
preferred label: تابع بولی @fa
type: Concept
broader: Boolean algebra

set theory
preferred label: نظریه مجموعه‌ها @fa
type: Concept
related: Boolean algebra