∧を積、∨を+と記してるだけのような気がするが、ほんとかどうかしらない