Logic Coverage Criteria (Contd.)

[@shwetanksingh5208]

Pa = true means for any value of b, a will determine predicate

[@md.iqramulhasan8369]

You did a mistake I guess.
A xor ( A ^ C) should be A ^ -C

[@mohamedhussin6712]

i need the slides please :D