Тесты по теме 31 VI тарау. Алгоритмдер теориясының ЭлементтерІ 34

Шығарылатын формула анықтамасынан және формулалар жиынынан шығару анықтамасынан шығарудың келесі қасиеттері келіп шығады:

1) Н жиынынан шығарудың әрбір бастапқы кесіндісі – Н-тан шығару болады.

2) Егер Н тан шығарудың екі көршілес мүшелерінің арасында (басында немесе соңында) кейбір Н тан шығаруді қойсақ, онда формулалардың алынған жаңа тізбегі Н тан шығару болады.

5) В формуласы Н жиынынан шығарылатын болуы үшін бұл формуланың Н тан шығаруы бар болуы қажетті және жеткілікті.