এখানে বর্তমানে কিছুটা প্রাসঙ্গিক উদাহরণ যা আমরা আমার ক্লাসে আচ্ছন্ন করছি।
"স্টোরেজ অ্যাক্সেস ফাংশন" বিট হিসাবে সংজ্ঞায়িত করা হয়:2k+k
এসক ( এক্স)1, । । । , এক্স2ট, ক1, । । । , কট) = এক্সখ i এন ( ক1⋯ কট)
যেখানে অনন্য পূর্ণসংখ্যা { 1 , ... , 2 ট } স্ট্রিং সংশ্লিষ্ট একটি 1 ⋯ একটি ট ।খ i এন ( ক1⋯ কট){ 1 , … , 2ট}একটি1⋯ কট
সম্পর্কে আকারের সূত্র রয়েছে হে ( ট ⋅ 2 ট ) উপর এবং / অথবা / নয়: আছে 2 ট সব সম্ভব দলের ট উপর -ANDs একটি আমি , ভেরিয়েবল, যাতে ঠিক একটি গোষ্ঠীর আউটপুট 1 যে ইনপুটের। তারপরে এবং প্রতিটি বিট x আমি সংশ্লিষ্ট গ্রুপের আউটপুট সহ, তারপরে বা এই সমস্ত আউটপুট।এসএকজনও ( কে ⋅ 2)ট)2টটএকটিআমি1এক্সআমি
তবে, ইনপুটগুলিতে নিম্নলিখিত "এসএআর অফ এক্সওর" ফাংশনটির জন্য প্রায় 2 3 কে- আকারের সূত্রগুলি ও / অথবা / নোটের উপরে প্রয়োজন:2কে + 123 কে
।এসক ( এক্স)1, । । । , এক্স2ট, ⨁2ট/ কেj = 1একটি1 , জে, । । । , ⨁2ট/ কেj = 1একটিকে , জে) = এক্সখ i এন ( ক1⋯ কট)
এটিকে প্রায়শই সাহিত্যে "অ্যান্ড্রিভ ফাংশন" বলা হয়। হস্তাদ প্রমাণ করলেন ( অ্যান্ড্রিভের যুক্তির একটি উপাদান উন্নতি করে) যে ঘন-আকারের সূত্রগুলি মূলত প্রয়োজনীয়। (এটির জন্য প্রায় ঘন-আকারের সূত্রগুলি খুঁজে পাওয়া শক্ত নয় not)