Compilers
- 3. !∀ # # ∃∃ % ∀∃∀% ∋ () ∗ +% , % #∀ ∃ − .∃ ∀ ∃∀ / / 0+∃ . + ,1 . % % % , % #∀ + . , ,∃ . % %2
- 4. 3 ∀ ∃., + #., ., . ∃∃+ % % % , % . ∃∃+ ∀ !∀ # # ∃∃ % ∀∃∀%2 0+∃ #
- 5. / 1 ∀ .∃∀ , . ∃ ∃ 4555 5∋5 5(5)67 8 ∃ 1 % + , % .% .∃%2
- 6. 9 /% . ∀ + #., ., . ∃∃+ % % % , % . ∃∃+ ∀ !∀ # # ∃∃ % ∀∃∀%2
- 7. ! !∀!#∃ %# #∋((!#∋))∗ !(∃+,!−./0 1 #23∃ !(∃+,!−4.5∗∗!∀/0 3 ∀ ∀ /∃
- 8. / ∃ + 8% :; =?≅ΑΒΧ ∆Ε≅ ≅ΦΓΓ≅ΗΦΙΙϑ ?ΓΒΚΧΑΛΜ 3 ∀ /∃∀ + ∃∃ % ., ∃ ,ΝΒΟ ?ΓΒΚΧΑΛΜ 6 789: ;=2276: ?? =7 ≅9 :ΑΒ?ΧΑ8∆=78Ε∆=7 ≅9 :ΑΒ?ΧΑ8∆= 76: ?? =22 7 ≅9 :ΑΒ?ΧΑ8∆=22 76: ?? = 7 :ΑΒ?∆Φ= 76: ?? =7 ≅9 :ΑΒ?ΧΑ8∆= 7 :ΑΒ?∆Φ=7 ≅9 :ΑΒ?ΧΑ8∆= 7 :ΑΒ?∆Φ=22
- 9. 78Ε∆=22 Π, ∃ ∀ . ∃∀ ∃ ΝΘ % . % ∀ ∃ ∀% . ∃∀%2
- 10. Γ . ∃∀Ρ . . . . . . . . . . . . . . .
- 11. . . . .. ..0 . . . . . . . .
- 12. . . . .. ..0 .∃ ∀ ∃∀ / / . . . . . . . 0+∃ . + ,1 . % % % , % #∀ + . , ,∃ . % %2 . . . . . . . .
- 13. . . . .. ..0 3 ∀ ∃., + #., ., . ∃∃+ % % % , % . ∃∃+ ∀ !∀ # # ∃∃ % ∀∃∀%2
- 14. +% ∀ ∀ / .% #∀
- 15. ∃ ΣΤ2 0+∃ #
- 16. / 1 ∀ .∃∀ , . ∃ ∃ 4555 5∋5 5(5)67 8 ∃ 1 % + , %
- 17. % 2 . . . . . . . .
- 18. . . . .. ..0 3 ∀ ∃., + #., ., . ∃∃+ % % % , % . ∃∃+ ∀ !∀ # # ∃∃ % ∀∃∀%2
- 19. +% ∀ ∀ / .% #∀
- 20. ∃ ΣΤ2
- 21. [2]
- 22. [3]