原子論理式