Add exercises of Logic.v.
Add SfLib.
Update Logic.v.