تبدیل جملات به سمبل های منطقی مانند (a->b)^(~b)

[faghatman]

سلام دوستان به مشکل برخوردم و می خوام 2 جمله زیر به صورت سیمبل های منطقی بنویسم ولی نمی دونم ملاک برای تبدیل جملات به عبارت های منطقی مانند (a->b)^(~b) چگونه هست !!!
جملات این ها هستند دوستان عزیز :
a) if i pass this course and make an A then
i pass this course or i make an A

b) if i pass this course then i make an A
and
i pass this course and i do not make an A
ممنون می شم اگه بهم کمک کنید 2 جمله a,b به عبارات مورد نظر تبدیل بشن