منطق صوری
preferred label: formal logic @en
type: Concept
narrower: تابع بولی

جبر بولی
preferred label: Boolean algebra @en
type: Concept
narrower: تابع بولی

تابع سودهی
preferred label: switching function @en
type: Concept
related: تابع بولی

پالایه انباشته
preferred label: stack filter @en
type: Concept
related: تابع بولی

نمودار تصمیم
preferred label: decision diagram @en
type: Concept
related: تابع بولی

تابع
preferred label: functions @en
type: Concept
narrower: تابع بولی

تابع بولی
preferred label: Boolean function @en
related: تابع سودهی
related: پالایه انباشته
related: نمودار تصمیم
type: Concept
broader: تابع
broader: جبر بولی
broader: منطق صوری