Լրացրու սահմանման ձևակերպումը (լրացրու պատուհանները և ընտրիր ճիշտ տարբերակը):
 
Նույնական են կոչվում այն , որոնք  արտահայտության թույլատրելի  բազմությունը և ԹԱԲ-ի բոլոր արժեքների դեպքում բերում են արտահայտության, որը  է տրված :