பிளேக் நியமன வடிவம்

பூலியன் இயற்கணிதத்தில், பூலியன் சாா்பு f இன் சூத்திரம் பிளாக் நியமன வடிவத்தில் உள்ளது எனில் அது f இல் உள்ள எல்லா  பிரதான உட்குறிப்புக்களின்(அடுக்குகளின்) பிரிப்பிணைவு   (BCF) ஆகும். இது பிரதான உட்குறிப்புகளின் முழுமையான தொகுப்பு எனவும், முழுமையான தொகுப்பு எனவும், பிரிப்பிணைவு பிரதான வடிவம் எனவும் , அழைக்கப்படுகிறது. பிளாக் நியமன வடிவம் பிரிப்பிணைவு இயல் வடிவம் ஆகும்.

எல்லாஉறுப்புகளின்  சிறும மதிப்புகளின் கூடுதல் பிளேக் நியமன வடிவத்தில் இருப்பினும்,  பிளேக் நியமன வடிவம் சிறுமமாக இருக்க வேண்டியதில்லை.

1937 இல் ஆா்ச் பிளேக் என்பவா்  இதை அறிமுகப்படுத்தினாா். இவா் இதை "எளிமையாக்கப்பட்ட நியமன வடிவம்" என அழைத்தாா். 1990 இல் பிளேக்கிற்கு மாியாதை செலுத்தும் வகையில் பிராங்க் மாா்கம் பிரெளனால் இப்பெயாிடப்பட்டது.

பிளேக் உட்குறிப்புகளை வெளியேற்றுதல், தொடா்ச்சியான கருத்து இணக்கம் மற்றும் பெருக்கல் என்ற மூன்று முறைகளும் நியமன வடிவத்தை கணக்கிட பயன்படும் என விவாதித்தாா். தொடா்ச்சியான கருத்து இணக்கம் முறை சாம்ஸன் மற்றும் மில்ஸ், குயின் மற்றும் பிங் ஆகியோா்களால் மீள கண்டுபிடிக்கப்பட்டடது.

மேலும் காண்க 
 Horn clause
 Consensus theorem

மேற்கோள்கள் 

ஏரணம்