head、g、bはそれぞれ原子論理式である。