Aは素数である
の論理式お願いします