تابع بولی / فان پاتوق

- توابع بولی

به تابعی گویند که از یک عبارت جبری متشکل از متغییرهای دودویی وثابت.های ۰ و ۱ سمبل.های عملیات منطقی تشکیل شده باشد. تابع بول را می.توان به نمودار مداری به نام گیت تبدیل کرد.
تعریف دقیق

در ریاضی، یک تابع بولی(محدود)تابعی است به صورتf : Bk → B نمایش داده می.شود، که در آن{ B = {0, 1دامنهٔ بولی و kعدد صحیح نا منفی است که
عدد آرگومان تابع نامیده می.شود، در صورتی که k=0،"تابع"لزوماٌ یک المان ثابت B است.
هر فرمول بول k-تایی را می.توان بصورت فرمول گزاره.ای نشان داد که تابع kمتغیرx1,x2,. . . باشد؛ دو فورمول بصورت منطقی معادلند اگر و فقط اگردو تاب