Plcasc answer fully for thumbs up! Modal Propositional Logic-Python language Identify at least 10 inference rule to check the correctness of any code. USE EXCEL IT IS MORE CONVENIENT THAT WRITING I have put two rules. Try to follow those rules to make a new one and update the attachment with new rules. List down the rules with "World" valu i.e. the numerical value after a comma"for each rule Expected Result NOT NEC (ORA B)).0(1, ) POS NOT (OR A B).O(2, rt (4, NOT (ORA B) 1 (5,,T NOT A) (8,, ) (NOT NEC (ORA B)).0 (POS (ORA B)),0 (POS (OR A B),0 (1,, ) Or1 (2,,) (OR A B),1 (3, T A1 (6.7)