Հանրահաշիվ

ՆՈՒՅՆԱԿԱՆ են կոչվում այն ձևափոխությունները, որոնք չեն փոփոխում արտահայտության թույլատրելի արժեքների բազմությունը, և ԹԱԲ-ի բոլոր արժեքների համար բերում են արտահայտության, որը հավասար է սկզբնական արտահայտությանը: