Please answer fully for thumbs up!
Modal Propositional Logic -Python language
Identify at least 10 inference rule to checkthe correctness of any code. USE EXCEL IT IS MORECONVENIENT THAT WRITING
I have put two rules. Try to follow those rules to makea new one and update the attachment with new rules. List down therules with “World” value i.e. the numerical value after acomma(“,”) 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](http://d2vlcm61l7u1fs.cloudfront.net/media%2F379%2F379cd4ee-2043-404d-b023-50f7fe8b4f47%2FphpuJVlmR.png)
Input
PayPal Gateway not configured
PayPal Gateway not configured