Please answer fully for thumbs up!

Modal Propositional Logic -Python language

Identify at least 10 inference rule to check the correctness of any code.

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" value i.e. the numerical value after a comma(",") for each rule

Input Formula (NOT NEC (ORA B)),0 Expected Result (NOT NEC (ORA B),0 (1,N, 1 (POS NOT (OR A B),0 (2,, 1 Or1 4,,) (NOT (OR A B)),1 5,, T (NOT A),1 (8,v, ] NOT B)1 19 (POS (ORAB)),0 f1,\, ) 0r1 (2,, (OR A B),1 (3,v, T A,1 (6,VT) B,1 18 Comments (POS (ORAB)),0 Input Formula (NOT NEC (ORA B)),0 Expected Result (NOT NEC (ORA B),0 (1,N, 1 (POS NOT (OR A B),0 (2,, 1 Or1 4,,) (NOT (OR A B)),1 5,, T (NOT A),1 (8,v, ] NOT B)1 19 (POS (ORAB)),0 f1,\, ) 0r1 (2,, (OR A B),1 (3,v, T A,1 (6,VT) B,1 18 Comments (POS (ORAB)),0