ÄÈÇÚÞÍÊÒÈÂÍÀß ÍÎÐÌÀËÜÍÀß ÔÎÐÌÀ

ÄÈÇÚÞÍÊÒÈÂÍÀß ÍÎÐÌÀËÜÍÀß ÔÎÐÌÀ - ïðîïîçèöèîíàëüíàÿ ôîðìóëà, èìåþùàÿ âèä

ãäå êàæäîå C_ij(i = 1, ... , n; j = 1, ... , m_i) åñòü ëèáî ïåðåìåííàÿ, ëèáî îòðèöàíèå ïåðåìåííîé. Ä. í. ô. (*) âûïîëíèìà òîãäà è òîëüêî òîãäà, êîãäà ïðè íåê-ðîì i ñðåäè Ñ_i1, ..., Ñ_imi íå âñòðå÷àþòñÿ îäíîâðåìåííî ôîðìóëû âèäà ð è ¬ð, ãäå ð - ïåðåìåííàÿ. Äëÿ âñÿêîé ïðîïîçèöèîíàëüíîé ôîðìóëû À ìîæíî ïîñòðîèòü ýêâèâàëåíòíóþ åé Ä. í. ô. Â, ñîäåðæàùóþ òå æå ïåðåìåííûå, ÷òî è À. Òàêàÿ ôîðìóëà  íàç. Ä. í. ô. ôîðìóëû À.

Ñ. Ê. Ñîáîëåâ.

Èñòî÷íèêè:

1. Ìàòåìàòè÷åñêàÿ ýíöèêëîïåäèÿ: Ãë. ðåä. È. Ì. Âèíîãðàäîâ, ò. 2 Ä - Êîî.-Ì.: «Ñîâåòñêàÿ Ýíöèêëîïåäèÿ», 1979.-1104 ñòá., èë.