Тези примери дават възможност да се формулират някои правила за вписване на комплексни решения. Така че, когато пишете сложни изречения трябва да се обърне внимание във формулите не са имали два съседни logicheckih сухожилие - те трябва да бъдат разделени с формули или спомагателен характер и няма две съседни формули - те трябва да бъдат разделени логически пакет.
тя трябва да се забравя, че в писмен вид сложни формули
1) всяка поява на дизюнкция "ù"Се отнася до Пропозиционални променлива или формула непосредствено след логически съединителната надясно;
2) всяка поява на дизюнкция "" След поставяне на скоби свързва Пропозиционални променливи или формула веднага околните логически сноп;
3) всяка поява на дизюнкция "Ú "След поставяне на скоби свързва Пропозиционални променлива или формула, непосредствено обграждаща куп и т.н.
Когато използвате тези правила със същата формула, скобите трябва да се поставят постепенно, движещи се от ляво на дясно.
Logic сухожилие сила и значимост може да се поръча както следва: ù; ; Ú; ®; ". Това е най-силното лигамент е отказ, а след това връзката на, дизюнкция, отражение и в крайна сметка равностойност. Знаейки правилата на силата на логическите връзки, че е възможно да пропуснете тези двойки скоби, без която ясно реда на изпълнение на логически операции.
Пример. При един формула F = (((F1Ú(ùF2)) ®F3) «F4).
Необходимо е да се премахнат скобите.
1) за да се отстранят външните скоби за формула, тъй като те не определят всяка операция предимство:
2) отстраняване на скобите, обхващащи формула последици, тъй като операция еквивалентност ще се извършва само след операцията на влиянието:
3) отстраняване на скобите, обхващащи формула дизюнкция, тъй като операцията на отражение се извършва само след извършване на дизюнкцията:
4) премахване на скобите, които обхващат отрицание формула, като операция прекъсване на връзки ще бъдат изпълнени само след операцията за отрицание:
По този начин, поредицата от операции след propozatsionalnyh изпълнение на работа следните променливи: първо, за да се определи стойността на формулата (ùF2), след това (F1Ú(ùF2)) след това ((F1Ú(ùF2)) ®F3) и накрая, (((F1Ú(ùF2)) ®F3) «F4)
Пример: Dana формула F = F1F2F3ÚùF1®F3 «F1. Необходимо е да се поставят всички скобите.
1) постави скоба на формула, която реализира отрицание:
2) да се поставят скоби на формула, която изпълнява операцията на връзка:
3) тиранти постави на формула, която изпълнява работата на разделяне:
4) постави скоба на формула, която реализира дейността на отражение:
5) постави скоба на формула, която реализира операцията на еквивалентност: