daily pastebin goal
13%
SHARE
TWEET

Untitled

a guest Jan 8th, 2018 164 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. 0   !x&x
  2. 1   x&y&z
  3. 2   !z&x&y
  4. 3   x&y
  5. 4   !y&x&z
  6. 5   x&z
  7. 6   (!y&z|!z&y)&x
  8. 7   (y|z)&x
  9. 8   !y&!z&x
  10. 9   (!y&!z|y&z)&x
  11. 10  !z&x
  12. 11  (!z|y)&x
  13. 12  !y&x
  14. 13  (!y|z)&x
  15. 14  !(y&z)&x
  16. 15  x
  17. 16  !x&y&z
  18. 17  y&z
  19. 18  (!x&z|!z&x)&y
  20. 19  (x|z)&y
  21. 20  (!x&y|!y&x)&z
  22. 21  (x|y)&z
  23. 22  !x&y&z|!y&x&z|!z&x&y
  24. 23  (x|y)&z|x&y
  25. 24  !x&y&z|!y&!z&x
  26. 25  !y&!z&x|y&z
  27. 26  !x&y&z|!z&x
  28. 27  !z&x|y&z
  29. 28  !x&y&z|!y&x
  30. 29  !y&x|y&z
  31. 30  !(y&z)&x|!x&y&z
  32. 31  x|y&z
  33. 32  !x&!z&y
  34. 33  (!x&!z|x&z)&y
  35. 34  !z&y
  36. 35  (!z|x)&y
  37. 36  !x&!z&y|!y&x&z
  38. 37  !x&!z&y|x&z
  39. 38  !y&x&z|!z&y
  40. 39  !z&y|x&z
  41. 40  !(!x&!y|x&y|z)
  42. 41  !(!x&!y|x&y|z)|x&y&z
  43. 42  !z&(x|y)
  44. 43  !z&(x|y)|x&y
  45. 44  !x&!z&y|!y&x
  46. 45  !x&!z&y|!y&x|x&z
  47. 46  !y&x|!z&y
  48. 47  !z&y|x
  49. 48  !x&y
  50. 49  (!x|z)&y
  51. 50  !(x&z)&y
  52. 51  y
  53. 52  !x&y|!y&x&z
  54. 53  !x&y|x&z
  55. 54  !(x&z)&y|!y&x&z
  56. 55  x&z|y
  57. 56  !x&y|!y&!z&x
  58. 57  !x&y|!y&!z&x|y&z
  59. 58  !x&y|!z&x
  60. 59  !z&x|y
  61. 60  !x&y|!y&x
  62. 61  !x&y|!y&x|x&z
  63. 62  !(x&z)&y|!y&x
  64. 63  x|y
  65. 64  !x&!y&z
  66. 65  (!x&!y|x&y)&z
  67. 66  !x&!y&z|!z&x&y
  68. 67  !x&!y&z|x&y
  69. 68  !y&z
  70. 69  (!y|x)&z
  71. 70  !y&z|!z&x&y
  72. 71  !y&z|x&y
  73. 72  !(!x&!z|x&z|y)
  74. 73  !(!x&!z|x&z|y)|x&y&z
  75. 74  !x&!y&z|!z&x
  76. 75  !x&!y&z|!z&x|x&y
  77. 76  !y&(x|z)
  78. 77  !y&(x|z)|x&z
  79. 78  !y&z|!z&x
  80. 79  !y&z|x
  81. 80  !x&z
  82. 81  (!x|y)&z
  83. 82  !x&z|!z&x&y
  84. 83  !x&z|x&y
  85. 84  !(x&y)&z
  86. 85  z
  87. 86  !(x&y)&z|!z&x&y
  88. 87  x&y|z
  89. 88  !x&z|!y&!z&x
  90. 89  !x&z|!y&!z&x|y&z
  91. 90  !x&z|!z&x
  92. 91  !x&z|!z&x|x&y
  93. 92  !x&z|!y&x
  94. 93  !y&x|z
  95. 94  !(x&y)&z|!z&x
  96. 95  x|z
  97. 96  !(!y&!z|x|y&z)
  98. 97  !(!y&!z|x|y&z)|x&y&z
  99. 98  !x&!y&z|!z&y
  100. 99  !x&!y&z|!z&y|x&y
  101. 100 !x&!z&y|!y&z
  102. 101 !x&!z&y|!y&z|x&z
  103. 102 !y&z|!z&y
  104. 103 !y&z|!z&y|x&y
  105. 104 !((x|y)&z|x&y)&(x|y|z)
  106. 105 (!x&!y|!z|x&y)&(!x&y|!y&x|z)
  107. 106 !x&!y&z|!z&(x|y)
  108. 107 !x&!y&z|!z&(x|y)|x&y
  109. 108 !x&!z&y|!y&(x|z)
  110. 109 !x&!z&y|!y&(x|z)|x&z
  111. 110 !y&(x|z)|!z&y
  112. 111 !y&z|!z&y|x
  113. 112 !x&(y|z)
  114. 113 !x&(y|z)|y&z
  115. 114 !x&z|!z&y
  116. 115 !x&z|y
  117. 116 !x&y|!y&z
  118. 117 !x&y|z
  119. 118 !(x&y)&z|!z&y
  120. 119 y|z
  121. 120 !x&(y|z)|!y&!z&x
  122. 121 !x&(y|z)|!y&!z&x|y&z
  123. 122 !x&(y|z)|!z&x
  124. 123 !x&z|!z&x|y
  125. 124 !x&(y|z)|!y&x
  126. 125 !x&y|!y&x|z
  127. 126 !x&y|!y&z|!z&x
  128. 127 x|y|z
  129. 128 !(x|y|z)
  130. 129 !(x|y|z)|x&y&z
  131. 130 !(!x&y|!y&x|z)
  132. 131 !(x|y|z)|x&y
  133. 132 !(!x&z|!z&x|y)
  134. 133 !(x|y|z)|x&z
  135. 134 !(!x&y|!y&x|z)|!y&x&z
  136. 135 !(x|y|z)|(y|z)&x
  137. 136 !y&!z
  138. 137 !y&!z|x&y&z
  139. 138 !(!x&y|z)
  140. 139 !y&!z|x&y
  141. 140 !(!x&z|y)
  142. 141 !y&!z|x&z
  143. 142 !(!x&y|z)|!y&x
  144. 143 !y&!z|x
  145. 144 !(!y&z|!z&y|x)
  146. 145 !(x|y|z)|y&z
  147. 146 !(!x&y|!y&x|z)|!x&y&z
  148. 147 !(x|y|z)|(x|z)&y
  149. 148 !(!x&z|!z&x|y)|!x&y&z
  150. 149 !(x|y|z)|(x|y)&z
  151. 150 (!x&!y|x&y|z)&(!x&y|!y&x|!z)
  152. 151 !(x|y|z)|(x|y)&z|x&y
  153. 152 !x&y&z|!y&!z
  154. 153 !y&!z|y&z
  155. 154 !(!x&y|z)|!x&y&z
  156. 155 !(!x&y|z)|y&z
  157. 156 !(!x&z|y)|!x&y&z
  158. 157 !(!x&z|y)|y&z
  159. 158 !(!x&y|z)|!x&y&z|!y&x
  160. 159 !y&!z|x|y&z
  161. 160 !x&!z
  162. 161 !x&!z|x&y&z
  163. 162 !(!y&x|z)
  164. 163 !x&!z|x&y
  165. 164 !x&!z|!y&x&z
  166. 165 !x&!z|x&z
  167. 166 !(!y&x|z)|!y&x&z
  168. 167 !(!y&x|z)|x&z
  169. 168 !(x&y|z)
  170. 169 !(x&y|z)|x&y&z
  171. 170 !z
  172. 171 !z|x&y
  173. 172 !x&!z|!y&x
  174. 173 !(x&y|z)|x&z
  175. 174 !y&x|!z
  176. 175 !z|x
  177. 176 !(!y&z|x)
  178. 177 !x&!z|y&z
  179. 178 !(!y&x|z)|!x&y
  180. 179 !x&!z|y
  181. 180 !(!y&z|x)|!y&x&z
  182. 181 !(!y&z|x)|x&z
  183. 182 !(!y&x|z)|!x&y|!y&x&z
  184. 183 !x&!z|x&z|y
  185. 184 !x&y|!y&!z
  186. 185 !(x&y|z)|y&z
  187. 186 !x&y|!z
  188. 187 !z|y
  189. 188 !(!x&!y&z|x&y)
  190. 189 !x&!z|!y&x|y&z
  191. 190 !x&y|!y&x|!z
  192. 191 !z|x|y
  193. 192 !x&!y
  194. 193 !x&!y|x&y&z
  195. 194 !x&!y|!z&x&y
  196. 195 !x&!y|x&y
  197. 196 !(!z&x|y)
  198. 197 !x&!y|x&z
  199. 198 !(!z&x|y)|!z&x&y
  200. 199 !(!z&x|y)|x&y
  201. 200 !(x&z|y)
  202. 201 !(x&z|y)|x&y&z
  203. 202 !x&!y|!z&x
  204. 203 !(x&z|y)|x&y
  205. 204 !y
  206. 205 !y|x&z
  207. 206 !y|!z&x
  208. 207 !y|x
  209. 208 !(!z&y|x)
  210. 209 !x&!y|y&z
  211. 210 !(!z&y|x)|!z&x&y
  212. 211 !(!z&y|x)|x&y
  213. 212 !(!z&x|y)|!x&z
  214. 213 !x&!y|z
  215. 214 !(!z&x|y)|!x&z|!z&x&y
  216. 215 !x&!y|x&y|z
  217. 216 !x&z|!y&!z
  218. 217 !(x&z|y)|y&z
  219. 218 !(!x&!z&y|x&z)
  220. 219 !x&!y|!z&x|y&z
  221. 220 !x&z|!y
  222. 221 !y|z
  223. 222 !x&z|!y|!z&x
  224. 223 !y|x|z
  225. 224 !(x|y&z)
  226. 225 !(x|y&z)|x&y&z
  227. 226 !x&!y|!z&y
  228. 227 !(x|y&z)|x&y
  229. 228 !x&!z|!y&z
  230. 229 !(x|y&z)|x&z
  231. 230 !(!y&!z&x|y&z)
  232. 231 !x&!y|!z&y|x&z
  233. 232 !((x|y)&z|x&y)
  234. 233 !((x|y)&z|x&y)|x&y&z
  235. 234 !x&!y|!z
  236. 235 !x&!y|!z|x&y
  237. 236 !x&!z|!y
  238. 237 !x&!z|!y|x&z
  239. 238 !y|!z
  240. 239 !y|!z|x
  241. 240 !x
  242. 241 !x|y&z
  243. 242 !x|!z&y
  244. 243 !x|y
  245. 244 !x|!y&z
  246. 245 !x|z
  247. 246 !x|!y&z|!z&y
  248. 247 !x|y|z
  249. 248 !x|!y&!z
  250. 249 !x|!y&!z|y&z
  251. 250 !x|!z
  252. 251 !x|!z|y
  253. 252 !x|!y
  254. 253 !x|!y|z
  255. 254 !(x&y&z)
  256. 255 !x|x
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
 
Top