为算法创建真值表

Question

我是一名计算机科学本科生，我被要求创建一个算法，然后是相应的真值表。

a =  ants are angry
b =  birds are busy
c =  cats are cool

If ants are angry, then birds are not busy. 
If cats are cool then birds are busy.
Cats are not cool. Therefore ants are angry.

这就是它，这是正确的吗？谢谢你的帮助。