P4 數理邏輯智能