Guest User

Untitled

a guest
Apr 21st, 2018
73
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.07 KB | None | 0 0
  1. (p1 => p2) \/ (~p3 <=> p1) \/ (p4 => ~p5) => (~p6 <=> p3) /\ (~p7 /\ p8)
Add Comment
Please, Sign In to add comment