Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- If not ( A or ( A implies B ) ):
- If A:
- If not B:
- A or ( A implies B ).
- not not B.
- B.
- A implies B.
- A or ( A implies B ).
- not not ( A or ( A implies B ) ).
- A or ( A implies B ).
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement