論理式への一様代入