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
- 10. Γ
. ∃∀Ρ . . . . . .
. . . . . . .
. .
- 12. . .
. .. ..0
.∃
∀
∃∀
/
/
. . . . . .
.
0+∃ . + ,1 .
% %
% ,
%
#∀ +
.
,
,∃
. %
%2
. . . . . .
. .
- 13. . .
. .. ..0
3
∀ ∃.,
+ #.,
., . ∃∃+
%
%
% ,
% . ∃∃+
∀
!∀
# # ∃∃
% ∀∃∀%2
- 16. / 1
∀ .∃∀
,
.
∃ ∃
4555 5∋5 5(5)67 8 ∃ 1
% +
,
%
- 18. . .
. .. ..0
3
∀ ∃.,
+ #.,
., . ∃∃+
%
%
% ,
% . ∃∃+
∀
!∀
# # ∃∃
% ∀∃∀%2