使える
論理積(論理和)の結合も式だしー