論理関数（１）条件判断（IF）