200
(a b "c" "d")

("(((b v d) ^ a) v c)"
 "(c ^ d)"
 "(b v (a ^ d))"
 "((a v d) ^ b)"
 "(b v d)"
 "(b ^ (a v c))"
 "(a v (c ^ d))"
 "((b v d) ^ a)"
 "(c v (a v d))"
 "(a v c)"
 "(d v (b ^ (a v c)))"
 "(d ^ (a v c))"
 "((a ^ d) v c)"
 "((a ^ b) v d)"
 "(((a v d) ^ b) v (a ^ d))"
 "(b ^ d)"
 "(b v (a v d))"
 "(a ^ c)"
 "(b ^ (c v d))"
 "(a ^ b)"
 "(a v b)"
 "((a ^ d) ^ b)"
 "(a ^ d)"
 "(a v d)"
 "d"
 "(c v d)"
 "a"
 "b"
 "c"
 "any"
 "none")