бщлса.Бу ерда шуни эслатиб утиш керакки, F ва H формулаларда хар доим бир хил узгарувчилар катнашиши шарт эмас. Яъни х ,х ,...,х узгарувчилардан баъзи-бирлари шу формулалардан бирортасида катнашмаслиги мумкин. Масалан:
F(x) x H(x,х) x(х x)
X
|
Х
|
x
|
Х x
|
x (х x)
|
0
|
0
|
1
|
1
|
1
|
0
|
1
|
1
|
1
|
1
|
1
|
0
|
0
|
0
|
0
|
1
|
1
|
0
|
1
|
0
|
Мулохазалар алгебрасидаги формулаларни тенг кучлилигини таъриф буйича текшириш баъзи холларда кийинчиликларни юзага келтириши мумкин. Шунинг учун куйида биз формулаларни тенг кучлилигини баъзи бир аломатларини куриб чикамиз. Бу аломатлардан бири юкорида куриб утилган тавтологиялар билан узвий боглангандир.
Do'stlaringiz bilan baham: |
