• Function #0 has formula size 0: 0
• Function #255 has formula size 1: !x4
• Function #15 has formula size 2: !x4 & !x3
• Function #3 has formula size 3: !x4 & !x3 & !x2
• Function #63 has formula size 3: (!x3 v !x2) & !x4
• Function #1 has formula size 4: !x4 & !x3 & !x2 & !x1
• Function #7 has formula size 4: !x4 & !x3 & (!x2 v !x1)
• Function #31 has formula size 4: ((!x2 & !x1) v !x3) & !x4
• Function #127 has formula size 4: (!x3 v !x2 v !x1) & !x4
• Function #855 has formula size 4: (!x4 & !x1) v (!x3 & !x2)
• Function #975 has formula size 4: (!x3 & !x2) v (!x4 & x2)
• Function #4080 has formula size 4: !x4 + !x3
• Function #27 has formula size 5: (!x3 v !x1) & !x4 & (!x2 v x1)
• Function #60 has formula size 5: (!x3 v !x2) & !x4 & (x3 v x2)
• Function #427 has formula size 5: (!x3 & !x2 & !x1) v (!x4 & x1)
• Function #431 has formula size 5: ((!x2 & !x1) v !x4) & (!x3 v x1)
• Function #831 has formula size 5: ((!x3 v !x2) & !x4) v (!x3 & !x2)
• Function #863 has formula size 5: ((!x3 v !x1) & !x4) v (!x3 & !x2)
• Function #963 has formula size 5: (!x4 & x3 & x2) v (!x3 & !x2)
• Function #6 has formula size 6: (!x2 v !x1) & !x4 & (x2 v x1) & !x3
• Function #23 has formula size 6: (!x3 v !x2) & !x4 & ((!x3 & !x2) v !x1)
• Function #25 has formula size 6: (!x2 v x1) & !x4 & ((!x3 & x2) v !x1)
• Function #61 has formula size 6: (!x3 v !x2) & !x4 & (x3 v x2 v !x1)
• Function #111 has formula size 6: ((x2 & !x1) v !x3 v (!x2 & x1)) & !x4
• Function #287 has formula size 6: (!x2 & !x1 & (!x4 v !x3)) v (!x4 & !x3)
• Function #303 has formula size 6: ((!x2 & x1) v !x3) & ((!x2 & !x1) v !x4)
• Function #319 has formula size 6: ((!x3 v !x2) & !x4) v (!x3 & !x2 & !x1)
• Function #393 has formula size 6: (!x3 & !x2 & !x1) v (!x4 & x2 & x1)
• Function #395 has formula size 6: ((!x2 & !x1) v (!x4 & x1)) & (!x3 v x2)
• Function #399 has formula size 6: ((x2 & x1) v !x3) & ((!x2 & !x1) v !x4)
• Function #426 has formula size 6: ((x4 & !x2) v x1) & ((!x3 & !x1) v !x4)
• Function #495 has formula size 6: ((x2 v x1) & !x4) v (!x3 & !x2 & !x1)
• Function #960 has formula size 6: (!x4 & x3 & x2) v (x4 & !x3 & !x2)
• Function #967 has formula size 6: (((x3 v !x1) & !x4) v !x2) & (!x3 v x2)
• Function #983 has formula size 6: (((x3 & x2) v !x1) & !x4) v (!x3 & !x2)
• Function #989 has formula size 6: ((x2 v !x1) & !x4) v (x4 & !x3 & !x2)
• Function #1020 has formula size 6: (!x3 & !x2) + !x4
• Function #1638 has formula size 6: (!x2 + !x1) & (!x4 v !x3)
• Function #2032 has formula size 6: (((!x2 v !x1) & x4) v x3) & (!x4 v !x3)
• Function #24 has formula size 7: ((!x2 & !x1) v !x3) & !x4 & ((x2 & x1) v x3)
• Function #30 has formula size 7: ((!x2 & !x1) v !x3) & !x4 & (x3 v x2 v x1)
• Function #126 has formula size 7: (!x3 v !x2 v !x1) & !x4 & (x3 v x2 v x1)
• Function #283 has formula size 7: (((!x4 v !x3) & !x2) v x1) & ((!x4 & !x3) v !x1)
• Function #383 has formula size 7: (((!x3 & !x2) v !x4) & !x1) v ((!x3 v !x2) & !x4)
• Function #385 has formula size 7: ((!x4 & x3 & x2) v !x1) & ((!x3 & !x2) v x1)
• Function #387 has formula size 7: (!x4 v !x1) & (x3 v !x2) & ((x2 & x1) v !x3)
• Function #409 has formula size 7: (((!x4 v !x3) & !x1) v x2) & ((!x4 & x1) v !x2)
• Function #425 has formula size 7: (((x3 v x2) & !x4) v !x1) & ((!x3 & !x2) v x1)
• Function #429 has formula size 7: (((x3 v x2) & !x4) v (!x1 & !x2)) & (!x3 v x1)
• Function #430 has formula size 7: (((x4 v x2) & !x3) v x1) & ((!x2 & !x1) v !x4)
• Function #447 has formula size 7: (((!x3 & !x1) v !x4) & !x2) v ((!x3 v x1) & !x4)
• Function #491 has formula size 7: (((x3 & x2) v x1) & !x4) v (!x3 & !x2 & !x1)
• Function #494 has formula size 7: ((!x3 & !x2 & !x1) v !x4) & (x4 v x2 v x1)
• Function #859 has formula size 7: (((!x4 & x1) v !x2) & !x3) v (!x4 & x3 & !x1)
• Function #961 has formula size 7: (((x4 v !x1) & !x2) v x3) & ((!x4 & x2) v !x3)
• Function #965 has formula size 7: ((!x3 & !x2) v (!x4 & x2)) & (x4 v x3 v !x1)
• Function #981 has formula size 7: (((x3 & x2) v !x1) & !x4) v (x4 & !x3 & !x2)
• Function #987 has formula size 7: ((x2 v !x1) & !x4 & (x3 v x1)) v (!x3 & !x2)
• Function #988 has formula size 7: (((x3 & !x1) v x2) & !x4) v (x4 & !x3 & !x2)
• Function #1654 has formula size 7: (!x1 v !x2) & (!x4 v !x3) & (x3 v x2 v x1)
• Function #1782 has formula size 7: ((!x2 v !x1) & !x3 & (x2 v x1)) v (!x4 & x3)
• Function #2034 has formula size 7: ((!x2 v !x1) & !x3 & (x4 v x1)) v (!x4 & x3)
• Function #279 has formula size 8: (!x4 & !x3 & (!x2 v !x1)) v (!x2 & !x1 & (!x4 v !x3))
• Function #281 has formula size 8: ((!x4 & !x3 & x2) v !x1) & (((!x4 v !x3) & !x2) v x1)
• Function #301 has formula size 8: (((x3 v x2) & !x4) v (!x1 & !x2)) & ((!x2 & x1) v !x3)
• Function #317 has formula size 8: (x3 v !x1 v x2) & (!x4 v !x2) & ((!x4 & !x2) v !x3)
• Function #367 has formula size 8: ((x2 & !x1) v !x3 v (!x2 & x1)) & ((!x2 & !x1) v !x4)
• Function #384 has formula size 8: ((x3 & x2 & x1) v x4) & ((!x3 & !x2 & !x1) v !x4)
• Function #411 has formula size 8: (((!x3 v x2) & !x4) v !x1) & (((!x4 v !x3) & !x2) v x1)
• Function #415 has formula size 8: (!x2 & !x1 & (!x4 v !x3)) v (((x2 & x1) v !x3) & !x4)
• Function #424 has formula size 8: ((x4 & !x3 & !x2) v x1) & (((x3 v x2) & !x4) v !x1)
• Function #428 has formula size 8: (x4 v x2 v x3) & (x1 v !x3) & ((!x2 & !x1) v !x4)
• Function #490 has formula size 8: (x4 & !x3 & !x2 & !x1) v (((x3 & x2) v x1) & !x4)
• Function #510 has formula size 8: (!x3 & !x2 & !x1) + !x4
• Function #828 has formula size 8: (x4 v x3 v x2) & (!x3 v !x2) & ((!x3 & !x2) v !x4)
• Function #854 has formula size 8: (!x4 & !x1) + (!x3 & !x2)
• Function #858 has formula size 8: (x3 v x1 v x4) & (!x2 v !x4) & ((!x4 & !x1) v !x3)
• Function #879 has formula size 8: (((!x4 & x1) v !x3) & !x2) v (((x2 & !x1) v !x3) & !x4)
• Function #966 has formula size 8: (((x4 v x1) & !x3) v x2) & (((x3 v !x1) & !x4) v !x2)
• Function #984 has formula size 8: ((x2 v !x1) & !x4 & (x3 v x1)) v (x4 & !x3 & !x2)
• Function #985 has formula size 8: (((x1 v x3) & !x4) v (!x2 & !x3)) & (x4 v x2 v !x1)
• Function #990 has formula size 8: (!x3 & !x2 & (x4 v x1)) v (((x3 & !x1) v x2) & !x4)
• Function #1632 has formula size 8: (!x4 + !x3) & (!x2 + !x1)
• Function #1634 has formula size 8: (x1 v x2) & (!x4 v !x3) & (((x4 v x3) & !x1) v !x2)
• Function #1639 has formula size 8: (!x1 v !x2) & (!x4 v !x3) & (x2 v x1 v (!x4 & !x3))
• Function #1647 has formula size 8: ((!x2 + !x1) & (!x4 v !x3)) v (!x4 & !x3)
• Function #1650 has formula size 8: (!x1 v !x2) & (!x4 v !x3) & (x3 v x1 v (x4 & x2))
• Function #1651 has formula size 8: (((x4 v x3) & !x1) v !x2) & (((x2 v x1) & !x3) v !x4)
• Function #1776 has formula size 8: (((x2 v x1) & x4) v x3) & (((!x2 v !x1) & !x3) v !x4)
• Function #1778 has formula size 8: ((!x2 & x1) v x3 v (x2 & !x1 & x4)) & (!x4 v !x3)
• Function #1910 has formula size 8: (!x1 v !x2) & (!x4 v !x3) & (x4 v x3 v x2 v x1)
• Function #1968 has formula size 8: (((!x2 v x1) & x3) v x4) & (((!x2 v !x1) & !x3) v !x4)
• Function #1973 has formula size 8: (!x4 & x3 & (!x2 v x1)) v (((x4 & !x2) v !x1) & !x3)
• Function #2016 has formula size 8: (((x2 v x1) & x3) v x4) & (((!x2 v !x1) & !x3) v !x4)
• Function #2018 has formula size 8: (((x1 v x2) & (x3 v !x2)) v (x4 & !x1)) & (!x4 v !x3)
• Function #2019 has formula size 8: (!x4 & x3 & (x2 v x1)) v (((x4 & !x1) v !x2) & !x3)
• Function #2022 has formula size 8: (x2 v x1 v x4) & (!x3 v !x4) & (x3 v !x2 v !x1)
• Function #2033 has formula size 8: (x4 & !x3 & (!x2 v !x1)) v (((!x2 & !x1) v x3) & !x4)
• Function #2040 has formula size 8: ((!x2 v !x1) & !x3) + !x4
• Function #22 has formula size 9: (x3 v x2 v x1) & (!x2 v !x1) & ((!x2 & !x1) v !x3) & !x4
• Function #107 has formula size 9: ((x3 & x2) v x1 v (!x3 & !x2)) & (!x3 v !x2 v !x1) & !x4
• Function #282 has formula size 9: (x1 v x4 v x3) & (!x4 v !x3) & ((!x1 & !x2) v (!x4 & !x3))
• Function #300 has formula size 9: ((!x2 & x1) v !x3) & ((!x2 & !x1) v !x4) & (x4 v x3 v x2)
• Function #316 has formula size 9: (x4 v x3 v x2) & (!x3 v !x2) & ((!x3 & !x2 & !x1) v !x4)
• Function #386 has formula size 9: ((!x1 & !x2) v !x4) & (!x3 v x2) & (((x3 v !x2) & x1) v x4)
• Function #391 has formula size 9: ((x2 & x1) v !x3) & (!x4 v !x1) & (((x3 v !x1) & !x4) v !x2)
• Function #408 has formula size 9: ((!x3 & !x2) v !x4) & (!x1 v x2) & (((x4 v x3) & !x2) v x1)
• Function #445 has formula size 9: (x3 v !x1 v x2) & (!x4 v !x2) & (((!x2 v x1) & !x4) v !x3)
• Function #489 has formula size 9: ((x3 v x2) & !x4 & ((x3 & x2) v x1)) v (!x3 & !x2 & !x1)
• Function #829 has formula size 9: ((!x3 v !x2) & !x4 & (x3 v x2)) v (!x3 & !x2 & (x4 v !x1))
• Function #856 has formula size 9: (((!x3 v !x1) & !x4) v (!x3 & !x2)) & (x4 v x3 v (x2 & x1))
• Function #857 has formula size 9: (((x2 v x4) & !x3) v (!x1 & !x4)) & (((x3 v x1) & !x4) v !x2)
• Function #862 has formula size 9: ((!x2 v !x4) & !x3 & (x1 v x4)) v (!x4 & !x1 & (x3 v x2))
• Function #875 has formula size 9: ((((x3 & x2) v x1) & !x4) v (!x3 & !x2)) & (!x3 v !x2 v !x1)
• Function #878 has formula size 9: (x2 v x1 v x4) & (!x3 v !x4) & (((!x3 v !x1) & !x4) v !x2)
• Function #892 has formula size 9: (x3 v x4 v x2) & (!x4 v !x2) & (((!x2 v !x1) & !x4) v !x3)
• Function #893 has formula size 9: ((!x4 v !x3) & !x2 & (x4 v x3)) v (((!x3 & x2) v !x1) & !x4)
• Function #980 has formula size 9: (((!x1 v x3) & !x4) v (!x2 & !x3)) & (x4 v x2 v (x3 & !x1))
• Function #1662 has formula size 9: (x2 v x1 v x3) & (!x4 v !x3) & (!x2 v !x1 v (!x4 & !x3))
• Function #1715 has formula size 9: ((x3 & x1) v !x2 v (x4 & !x1)) & (((x2 v x1) & !x3) v !x4)
• Function #1718 has formula size 9: ((x2 & !x1) v x3 v (!x2 & x1)) & (((!x2 v x1) & !x4) v !x3)
• Function #1719 has formula size 9: ((!x2 v !x1) & !x3 & (x2 v x1)) v (((x3 & x1) v !x2) & !x4)
• Function #1914 has formula size 9: (x1 v x4 v x3) & (!x4 v !x3) & (!x2 v !x1 v (!x4 & !x3))
• Function #1969 has formula size 9: (!x2 v x1 v x4) & (!x3 v !x4) & (x3 v !x1 v (x4 & !x2))
• Function #1972 has formula size 9: ((!x1 & x2) v x3 v (x4 & !x2)) & (((!x2 v x1) & !x4) v !x3)
• Function #1980 has formula size 9: (((!x2 v !x1) & !x3) v ((!x2 v x1) & !x4)) & (x4 v x3 v x2)
• Function #280 has formula size 10: ((!x3 & !x2) v !x4) & (!x1 v x2) & (x4 v x1 v x3) & (!x2 v !x3)
• Function #286 has formula size 10: ((!x4 & x3) v x2 v ((x1 v x4) & !x3)) & ((!x1 & !x2) v (!x4 & !x3))
• Function #318 has formula size 10: ((!x3 v !x2) & !x4 & (x3 v x2 v x1)) v (x4 & !x3 & !x2 & !x1)
• Function #363 has formula size 10: ((x3 & !x1) v !x2 v (!x3 & x1)) & (((x2 v x1) & !x4) v (!x3 & !x1))
• Function #366 has formula size 10: ((!x2 & !x1) + !x4) & (((!x2 v !x1) & !x4) v !x3)
• Function #410 has formula size 10: ((!x4 v !x3) & !x2 & (x4 v x3) & !x1) v (!x4 & x1 & (!x3 v x2))
• Function #444 has formula size 10: (x3 v x4 v x2) & (!x4 v !x2) & (((!x2 v x1) & !x4) v (!x3 & !x1))
• Function #446 has formula size 10: ((!x4 v !x2) & !x3 & ((!x1 & x4) v x2)) v (((x3 & !x2) v x1) & !x4)
• Function #488 has formula size 10: ((x1 & x3) v x2 v (x4 & !x3)) & (((x3 v x1) & !x4) v (!x2 & !x1))
• Function #874 has formula size 10: ((!x3 & !x2) v !x4) & (!x3 v !x2 v !x1) & (x4 v x1 v (x3 & x2))
• Function #876 has formula size 10: ((x4 & !x3) v x2 v (!x4 & x3 & x1)) & (((!x3 v !x1) & !x4) v !x2)
• Function #894 has formula size 10: ((!x2 v !x4) & !x3 & (x1 v x4)) v ((!x1 v !x2) & !x4 & (x3 v x2))
• Function #982 has formula size 10: ((x3 v x2) & !x4 & ((x3 & x2) v !x1)) v (!x3 & !x2 & (x4 v x1))
• Function #1635 has formula size 10: (((x4 v x3) & !x1) v !x2) & (!x4 v !x3) & (x2 v x1 v (!x4 & !x3))
• Function #1658 has formula size 10: ((((x4 & x2) v x1) & !x3) v (!x4 & x3)) & (!x2 v !x1 v (!x4 & !x3))
• Function #1695 has formula size 10: ((!x3 v !x2) & !x1 & (!x4 v x2)) v ((!x4 v !x2) & x1 & (!x3 v x2))
• Function #1712 has formula size 10: (((x1 v !x2) & x3) v ((x1 v x2) & x4)) & (((!x2 v !x1) & !x3) v !x4)
• Function #1714 has formula size 10: ((x4 & x2) v x1 v (x3 & !x2)) & (!x2 v !x1 v x3) & (!x4 v !x3)
• Function #1716 has formula size 10: ((x2 & !x1) v x3 v (!x2 & x1 & x4)) & (((!x2 v x1) & !x4) v !x3)
• Function #1717 has formula size 10: (((x1 v !x2) & !x4) v ((x1 v x2) & !x3)) & (x3 v !x1 v (x4 & !x2))
• Function #1777 has formula size 10: ((x4 & !x2) v x3 v ((x4 v !x2) & !x1)) & (((x2 v x1) & !x3) v !x4)
• Function #1912 has formula size 10: ((((x2 & x1) v x3) & !x4) v (!x3 & x4)) & (!x2 v !x1 v (!x4 & !x3))
• Function #1918 has formula size 10: ((!x4 + !x3) & (!x2 v !x1)) v (!x4 & !x3 & (x2 v x1))
• Function #1974 has formula size 10: ((!x2 v !x1) & !x3 & (x2 v x1 v x4)) v (!x4 & x3 & (!x2 v x1))
• Function #2017 has formula size 10: ((x4 & !x2) v x3 v ((x4 v !x2) & !x1)) & (((x2 v x1) & !x4) v !x3)
• Function #5790 has formula size 10: ((!x3 v !x2) & !x1 & (x3 v x2)) v ((!x4 v !x2) & x1 & (!x3 v x2))
• Function #6030 has formula size 10: ((!x4 v !x2) & x1 & (!x3 v x2)) v ((!x3 v !x2) & !x1 & (x4 v x2))
• Function #6040 has formula size 10: (x3 & !x2 & !x1) v (!x4 & x2 & x1) v (x4 & !x3 & (!x2 v !x1))
• Function #6042 has formula size 10: ((!x4 v !x2) & x1 & (!x3 v x2)) v ((!x2 v !x3) & !x1 & (x4 v x3))
• Function #6060 has formula size 10: (((!x3 & !x1) v (!x4 & x1)) & (x2 v x3)) v (x4 & !x2 & (!x3 v !x1))
• Function #7128 has formula size 10: ((!x4 v !x3) & x2 & (x1 v x3)) v ((!x1 v !x3) & !x2 & (x4 v x3))
• Function #7140 has formula size 10: ((!x2 & !x1) v (!x3 & x1)) + !x4
• Function #15555 has formula size 10: !x4 + !x3 + !x2
• Function #105 has formula size 11: ((x2 & !x1) v !x3 v (!x2 & x1)) & !x4 & ((x2 & x1) v x3 v (!x2 & !x1))
• Function #361 has formula size 11: ((((x3 & x2) v x1) & !x4) v (!x3 & !x2)) & ((x3 & !x2) v !x1 v (!x3 & x2))
• Function #362 has formula size 11: (((x1 v x2) & !x4) v (x4 & !x3 & !x1)) & ((x3 & !x1) v !x2 v (!x3 & x1))
• Function #382 has formula size 11: ((!x4 v !x1) & !x3 & ((!x2 & x4) v x1)) v ((!x1 v !x2) & !x4 & (x3 v x2))
• Function #407 has formula size 11: ((((x3 & x2) v !x1) & !x4) v (!x3 & !x2)) & (!x3 v !x2 v x1) & (!x4 v !x1)
• Function #877 has formula size 11: ((!x3 & x2) v !x1 v ((x4 v x3) & !x2)) & (((x1 v x2) & !x4) v (!x3 & !x2))
• Function #1659 has formula size 11: (((x4 & x2) v x1) & !x3 & (!x1 v !x4 v !x2)) v (((x3 & !x1) v !x2) & !x4)
• Function #1683 has formula size 11: (((x2 v !x1) & !x4) v ((x2 v x1) & !x3)) & ((x3 & x1) v !x2 v (x4 & !x1))
• Function #1686 has formula size 11: ((!x2 v x1) & !x4 & (x2 v !x1) & x3) v ((!x2 v !x1) & !x3 & (x2 v x1))
• Function #1687 has formula size 11: (((x2 v !x1) & !x4) v ((x2 v x1) & !x3)) & ((x3 & x1) v !x2 v (!x3 & !x1))
• Function #1713 has formula size 11: ((!x2 v !x1) & x4 & (x2 v x1) & !x3) v ((x3 v !x1) & !x4 & (!x2 v x1))
• Function #5758 has formula size 11: ((((!x3 & !x4) v !x1) & x2) v ((x3 v x1) & !x2)) & (!x4 v !x3 v (!x2 & !x1))
• Function #5774 has formula size 11: ((!x3 & x2) v x1 v (x3 & !x2 & x4)) & ((!x4 & x2) v !x1 v (!x3 & !x2))
• Function #5782 has formula size 11: ((!x2 & !x1) v !x3 v (x2 & x1 & !x4)) & ((x2 & !x1) v x3 v (!x2 & x1))
• Function #5786 has formula size 11: ((x3 & !x2) v x1 v (!x3 & x2 & x4)) & ((!x4 & x2) v !x1 v (!x3 & !x2))
• Function #5820 has formula size 11: ((x2 v x3) & (!x4 v !x1) & (x1 v !x3 v !x2)) v (x4 & !x3 & !x2 & x1)
• Function #278 has formula size 12: ((!x2 v !x1) & !x4 & (x2 v x1) & !x3) v ((!x4 v !x3) & !x2 & (x4 v x3) & !x1)
• Function #360 has formula size 12: ((((x3 & x2) v x1) & !x4) v (x4 & !x3 & !x2)) & ((x3 & !x2) v !x1 v (!x3 & x2))
• Function #390 has formula size 12: ((!x2 & !x1) + !x4) & ((x2 & x1) + !x3)
• Function #414 has formula size 12: ((!x4 v !x3) & !x2 & (x4 v x3) & !x1) v ((!x3 v x2) & !x4 & ((!x3 & x2) v x1))
• Function #872 has formula size 12: ((!x3 v !x1) & !x4 & (x3 v x1) & x2) v ((x4 v x3) & !x2 & ((x1 & !x4) v !x3))
• Function #873 has formula size 12: ((((x3 & x2) v x1) & !x4) v (!x3 & !x2)) & ((!x3 & x2) v !x1 v ((x4 v x3) & !x2))
• Function #1633 has formula size 12: ((((!x2 & !x1) v x3) & !x4) v (!x3 & x4)) & ((((!x4 & !x3) v x1) & !x2) v (!x1 & x2))
• Function #1643 has formula size 12: (((x3 v x1) & !x4) v ((!x2 v x4) & !x3)) & ((x2 + x1) v (!x4 & !x3))
• Function #1656 has formula size 12: (!x2 v !x1 v (!x4 & !x3)) & (!x4 v !x3) & ((x4 & x2) v x3 v ((x4 v x2) & x1))
• Function #1680 has formula size 12: (((x2 v !x1) & x3) v ((x2 v x1) & x4)) & (((!x2 v !x1) & !x3) v ((!x2 v x1) & !x4))
• Function #1681 has formula size 12: ((!x2 v !x1) & x4 & (x2 v x1) & !x3) v ((!x2 v x1) & !x4 & ((x3 & x2) v !x1))
• Function #1721 has formula size 12: ((!x2 v !x1) & x4 & (x2 v x1) & !x3) v ((!x2 v x1) & !x4 & (x2 v !x1 v x3))
• Function #1725 has formula size 12: ((!x4 & !x1) v x2 v ((x3 v x4) & x1)) & (((!x2 v !x1) & !x3) v ((!x2 v x1) & !x4))
• Function #1785 has formula size 12: ((!x2 v !x1) & !x3 & (x2 v x1)) + !x4
• Function #1913 has formula size 12: ((!x4 + !x3) & (!x2 v !x1)) v ((!x2 v x1) & !x4 & ((!x3 & x2) v !x1))
• Function #2025 has formula size 12: ((!x2 v !x1) & !x3) + ((x2 v x1) & !x4)
• Function #5742 has formula size 12: (!x4 v !x3 v (!x2 & !x1)) & (!x2 v !x1 v (!x4 & !x3)) & (x2 v x1 v (x4 & x3))
• Function #5766 has formula size 12: ((!x3 & x2) v x1 v (x3 & !x2 & x4)) & ((!x3 & !x2) v !x1 v (x3 & x2 & !x4))
• Function #5783 has formula size 12: ((!x3 v x2) & x1 & ((!x4 & x3) v !x2)) v ((!x3 v !x2) & !x1 & (x3 v x2 v !x4))
• Function #5784 has formula size 12: ((x3 & !x1) v x2 v (!x3 & x1 & x4)) & ((!x4 & x1) v !x2 v (x4 & !x1 & !x3))
• Function #5785 has formula size 12: ((x2 + !x1) v (x4 & !x3)) & ((!x2 & x1) v !x4 v ((x3 v x2) & !x1))
• Function #5787 has formula size 12: ((!x4 v !x1) & x2 & ((!x3 & x4) v x1)) v ((!x3 v !x1) & !x2 & (x3 v x1 v !x4))
• Function #5804 has formula size 12: (((!x3 & !x1) v (!x4 & x1)) & (x2 v x3)) v ((!x3 v !x1) & x4 & (x3 v x1) & !x2)
• Function #6014 has formula size 12: (((x1 & !x2) v (!x4 & x2)) & (!x3 v !x1)) v (((x3 & !x4) v (!x1 & x4)) & (!x2 v !x3))
• Function #6038 has formula size 12: ((!x3 v x2) & x1 & ((!x4 & x3) v !x2)) v ((!x3 v !x2) & !x1 & (x3 v x2 v x4))
• Function #6120 has formula size 12: (((!x2 v !x1) & !x3) v (!x2 & !x1)) + !x4
• Function #6625 has formula size 12: ((!x1 & !x2) v (!x4 & x3) v (x4 & !x3 & x2 & x1)) & (x4 v !x3 v x2 v x1)
• Function #6627 has formula size 12: ((!x4 v !x3) & x2 & ((x1 & x4) v x3)) v ((!x4 v !x1) & !x2 & (x4 v x1 v !x3))
• Function #6630 has formula size 12: ((!x3 & x2 & x1) v (!x2 & !x1)) + !x4
• Function #7905 has formula size 12: !x4 + !x3 + (!x2 & !x1)
• Function #5763 has formula size 13: ((!x2 & !x3) v (x4 & !x1) v (x1 & x3 & x2)) & ((!x3 & x2) v !x4 v ((x1 v x3) & !x2))
• Function #5767 has formula size 13: (((!x4 v x2) & !x3) v x1 v (x3 & x4 & !x2)) & ((!x3 & !x2) v !x1 v (x3 & x2 & !x4))
• Function #5771 has formula size 13: (((!x4 v x1) & !x3) v x2 v (x3 & x4 & !x1)) & ((!x4 & x1) v !x2 v (x4 & !x1 & !x3))
• Function #406 has formula size 14: ((!x2 & !x1 & (!x4 v !x3)) v (((x2 & x1) v !x3) & !x4)) & ((!x2 & x1) v x3 v ((x4 v x2) & !x1))
• Function #1641 has formula size 14: (((!x2 + !x1) & (!x4 v !x3)) v (!x4 & !x3)) & ((x2 & x1) v x4 v (!x2 & !x1) v x3)
• Function #1657 has formula size 14: ((((x4 & x1) v x2) & !x3) v ((!x1 v x3) & !x4)) & (((x4 v x3) & !x1) v !x2 v (x1 & !x4 & !x3))
• Function #5738 has formula size 14: (!x4 v !x3 v (!x2 & !x1)) & (!x2 v !x1 v (!x4 & !x3)) & ((x4 & x3) v x1 v ((x4 v x3) & x2))
• Function #5769 has formula size 14: ((x1 & x2) v (x4 & !x3) v (!x2 & !x1 & (x4 v !x3))) & ((!x2 & x1) v !x4 v ((x3 v x2) & !x1))
• Function #5801 has formula size 14: ((x1 & !x4) v (!x3 & !x2) v (x4 & !x1 & (!x3 v !x2))) & ((x4 & x1) v x3 v (!x4 & !x1) v x2)
• Function #5805 has formula size 14: (((!x3 & !x2) v !x4) & x1 & (x4 v x3 v x2)) v (((x4 & !x2) v !x3) & !x1 & (x3 v !x4 v x2))
• Function #6375 has formula size 14: ((!x3 & x2 & x1) v (x3 & !x2 & !x1)) + !x4
• Function #5739 has formula size 15: ((x1 v x2) & (!x4 v !x3) & (((x4 v x3) & !x1) v !x2)) v ((!x2 v x1) & (x4 v !x3) & ((x3 & !x1) v !x4))
• Function #5761 has formula size 15: ((((!x4 & !x3) v x2) & (!x1 v x3)) v (((!x2 & x1) v x3) & x4)) & (((x1 v x4) & (!x3 v !x4)) v (!x2 & !x1))
• Function #5736 has formula size 16: ((!x4 & !x1) v (!x3 & !x2)) + ((!x4 v !x1) & (!x3 v !x2))
• Function #5737 has formula size 16: ((!x4 & x1) v (!x3 & !x2) v (((x3 & x2) v x4) & !x1)) & ((!x3 & x2) v (!x4 & !x1) v (((x4 & x1) v x3) & !x2))
• Function #5865 has formula size 16: ((((!x2 v !x1) & !x3) v !x4) & (x2 v x1) & (x4 v x3 v (x2 & x1))) v ((!x4 v x3) & !x2 & (x4 v !x3) & !x1)
• Function #27030 has formula size 16: !x4 + !x3 + !x2 + !x1