A university develops a smart evaluation system for checking student eligibility for an advanced course.
Let the propositions be:
- p: Student has passed Internal Assessment
- q: Student has passed External Exam
- r: Student is eligible for advanced course
The system uses the logical rule:
r á”” (p á–§ q)
The system rule is modified as:
쮽쿉 (p ᖧ q) ᔒ r
a) Express this in CNF form
b) Check whether it is a tautology or not
c) Interpret the result in terms of eligibility system