سلام،

لطفاً توضیح بدید که معادل این دوتا قانون به فرم هورن چی میشه؟
در اصل جواب آخر رو میدونم، ولی نمیدونم چرا اینجوری شده.

p:-a,!,b
p:-c

و

p:-a,!,fail
p:-b,c