truth table p or (~(((~p or q)=>q)&p))truth table p or (~(((~p or q)=>q)&p))

• Natural Language
• Math Input